@PhdThesis{Lebotlan/thesis,
author = {Le Botlan, Didier}, 
title  = {{MLF}: Une extension de ML avec polymorphisme de second ordre
                  et instanciation implicite power of System-{F}},
school = {Université de Paris 7},
year =   2004",
month =  jun,
note =   {(english version)}
}