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
MLF

ML^F

This project is joint work with Didier Le Botlan and Boris Yakobowski.

ML^F: Raise ML to the Power of System-F

This is the initial joint work with Didier Le Botlan. This work has been presented at the Conference (ICFP 03).

ML^F: Une extension de ML avec polymorphisme de second ordre et instanciation implicite.

This is Didier Le Botlan's PhD dissertation, which is available both in English [ mlf.dvi.gz, mlf.ps.gz, mlf.pdf, mlf.bib ] and in French. See also examples on Didier Le Botlan's page.

A graphical representation of ML^F types with a linear-time incremental unification algorithm.

This is joint work with Boris Yakobowski. This work has been presented at the conference (TLDI 07). It is available electronically either in black-and-white [ ABSTRACT , PDF , BIB ] or colored [ PDF ].

A preliminary extended version is also available in black-and-white [ PDF ] or colored [ PDF ].

See also these slides [ Active DVI, PDF ].

Recasting ML^F

This is joint work with Didier Le Botlan. This is to appear as an INRIA Research Report, July, 2007. [ PSGZ, PDF ]

A Fully Graphical Presentation of ML^Fwith efficient type inference

This is joint work with Boris Yakobowski. This is submitted work, available in color or black and white. Some slides and an online prototype are also available.

MLF

MLF: Raise ML to the Power of System-F

MLF: Une extension de ML avec polymorphisme de second ordre et instanciation implicite.

A graphical representation of MLF types with a linear-time incremental unification algorithm.