hybrid: A implementation of a type-checker for Lambda-H
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.
Downloads
- hybrid-2.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- 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 |
| Distributions | |
| Reverse Dependencies | 1 direct, 0 indirect [details] |
| Executables | hybrid |
| Downloads | 1241 total (4 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] |