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

by D Le Botlan, D Rémy
Venue:In Proceedings of the International Conference on Functional Programming (ICFP 2003