hybrid
Version 2.0 revision 0 uploaded by GwernBranwen.
Package meta
- Synopsis
- A implementation of a type-checker for Lambda-H
- Description
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.
- Author
- David Waern, Rickard Nilsson
- Bug reports
- n/a
- Category
- Compilers/Interpreters
- Copyright
- (c) David Waern, Rickard Nilsson
- Homepage
- http://repos.mine.nu/davve/darcs/hybrid
- Maintainer
- David Waern <davve@dtek.chalmers.se>
- Package URL
- n/a
- Stability
- experimental