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.
|Dependencies||base (≥3), containers, haskell98 (≥1.0), mtl (≥1.0), parsec|
|Copyright||(c) David Waern, Rickard Nilsson|
|Author||David Waern, Rickard Nilsson|
|Maintainer||David Waern <email@example.com>|
|Upload date||Tue Mar 4 19:01:45 UTC 2008|
|Built on||ghc-6.10, ghc-6.8|