The hybrid package

[Tags: bsd3, program]

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

Version2.0
Dependenciesbase (>=3), containers, haskell98 (>=1.0), mtl (>=1.0), parsec
LicenseBSD3
Copyright(c) David Waern, Rickard Nilsson
AuthorDavid Waern, Rickard Nilsson
MaintainerDavid Waern <davve@dtek.chalmers.se>
Stabilityexperimental
CategoryCompilers/Interpreters
Home pagehttp://repos.mine.nu/davve/darcs/hybrid
Executableshybrid
Upload dateTue Mar 4 19:01:45 UTC 2008
Uploaded byGwernBranwen
Downloads114 total (10 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees