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.


Versions 2.0
Dependencies base (>=3), containers, haskell98 (>=1.0), mtl (>=1.0), parsec [details]
License BSD3
Copyright (c) David Waern, Rickard Nilsson
Author David Waern, Rickard Nilsson
Maintainer David Waern <>
Category Compilers/Interpreters
Home page
Uploaded Tue Mar 4 19:01:45 UTC 2008 by GwernBranwen
Distributions NixOS:2.0
Downloads 400 total (10 in the last 30 days)
0 []
Status Docs not available [build log]
All reported builds failed as of 2017-01-03 [all 8 reports]
Hackage Matrix CI


Maintainer's Corner

For package maintainers and hackage trustees