The hybrid package
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.
Properties
| Version | 2.0 |
|---|---|
| Dependencies | base (≥3), containers, haskell98 (≥1.0), mtl (≥1.0), parsec |
| License | BSD3 |
| Copyright | (c) David Waern, Rickard Nilsson |
| Author | David Waern, Rickard Nilsson |
| Maintainer | David Waern <davve@dtek.chalmers.se> |
| Stability | experimental |
| Category | Compilers/Interpreters |
| Home page | http://repos.mine.nu/davve/darcs/hybrid |
| Executables | hybrid |
| Upload date | Tue Mar 4 19:01:45 UTC 2008 |
| Uploaded by | GwernBranwen |
| Built on | ghc-6.10, ghc-6.8 |
Downloads
- hybrid-2.0.tar.gz (Cabal source package)
- package description (included in the package)