MLF

An implementation of MLF

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).