"MLF: raising ML to the power of system F."

Didier Le Botlan, Didier Rémy (2003)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics