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.
Commercial Use
Modify
Distribute
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.
There are no reported vulnerabilities