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

by D Le Botlan, D Rémy
Venue:Proceedings of the 8th ACM SIGPLAN International Conference on Functional Programming (ICFP’03), ACM Press, 27–38, URL http://doi.acm.org/ 10.1145/944705.944709