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

Package maintainers

• GwernBranwen

For package maintainers and hackage trustees

• edit package information

Candidates

• No Candidates