hybrid: A implementation of a type-checker for Lambda-H

[ bsd3, compilers-interpreters, program ] [ Propose Tags ]

We have made an implementation of the language Lambda-H, described in the paper "Hybrid Type Checking" by Cormac Flanagan, which uses a hybrid type checking system. We have tried to keep our implementation as close as possible to the language defined in Flanagan's paper. The result should be seen as a proof-of-concept, and an exercise in implementing a hybrid type checker for a language with advanced type specifications.


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


  • No Candidates
Versions [RSS] 2.0
Dependencies base (>=3), containers, haskell98 (>=1.0), mtl (>=1.0), parsec [details]
License BSD-3-Clause
Copyright (c) David Waern, Rickard Nilsson
Author David Waern, Rickard Nilsson
Maintainer David Waern <davve@dtek.chalmers.se>
Category Compilers/Interpreters
Home page http://repos.mine.nu/davve/darcs/hybrid
Uploaded by GwernBranwen at 2008-03-04T19:01:45Z
Reverse Dependencies 1 direct, 0 indirect [details]
Executables hybrid
Downloads 1209 total (1 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 8 reports]