I Use This!
Activity Not Available
Analyzed over 2 years ago. based on code collected over 5 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.


type_system language haskell

In a Nutshell, hybrid...

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
  • ...
    anyone with an Open Hub account can update a project's tags
  • ...
    there are over 3,000 projects on the Open Hub with security vulnerabilities reported against them
  • ...
    by exploring contributors within projects, you can view details on every commit they have made to that project

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!