Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
[go: Go Back, main page]
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).