MLF: Raising ML to the power of System F (2003)

by D Le Botlan, D Rémy
Venue:In ICFP