An implementation of ML^F

This page describes an (ongoing) new prototype implementation of MLF.

The prototype implements the elaboration of source terms into the fully explicitly-typed terms in xMLF. It also includes the higher-order polymorphism of MLF^ω.

The prototype is available under the Cecill-C LICENSE.

Download camlf_2011-08-29.zip (or just see the README file).