I Use This!
Activity Not Available
Analyzed over 3 years ago. based on code collected over 6 years ago.

Project Summary

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.


haskell language type_system

In a Nutshell, hybrid...

BSD 3-clause "New" or "Revised" License

Commercial Use



Place Warranty


Hold Liable

Use Trademarks


Include Copyright

Include License

These details are provided for information only. No information here is legal advice and should not be used as such.

All Licenses

This Project has No vulnerabilities Reported Against it

Did You Know...

  • ...
    Black Duck offers a free trial so you can discover if there are open source vulnerabilities in your code
  • ...
    check out hot projects on the Open Hub
  • ...
    use of OSS increased in 65% of companies in 2016
  • ...
    search using multiple tags to find exactly what you need

 Code locations have been removed since last analysis

At one point, Open Hub analyzed source code for this project based on code location(s) available at that time. Since then, the code locations have been removed.

30 Day Summary

Jun 17 2011 — Jul 17 2011

12 Month Summary

Jul 17 2010 — Jul 17 2011


Be the first to rate this project
Click to add your rating
Review this Project!