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
MLF
This project is joint work with
Didier Le Botlan
and
Boris Yakobowski .
MLF : Raising 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) .
MLF :
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 MLF 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
[ ABSTRACT ,
PDF ,
BIB
].
A preliminary extended version is also available
[
PDF
].
See also these slides
[ Active DVI ,
PDF
].
Recasting MLF
This is joint work with
Didier Le Botlan .
This is to appear as an INRIA Research Report, July, 2007.
[ PSGZ ,
PDF
]
Efficient Type Inference for the MLF Language:
a graphical and constraints-based approach
This is joint work with
Boris Yakobowski .
This is submitted work, available either as
a short version or as
an extended version .
The short version used to have minor typos in Figures 3 and 8.
See also the
online
prototype ,
those slides (a bit outdated), or
those ones (in french only).
MLF for Everyone (Users, Implementers, and Designers) .
Invited talk given at the ML 2007 workshop
[slides ].