Select a tag to browse associated projects and drill deeper into the tag cloud.
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 ... [More]
Morrow is small programming language designed for experimentation with advanced type system concepts. In particular, extensible polymorphic records and variants, combined with impredicative higher-ranked type inference. This combination leads to an expressive core language that is able to express ... [More]