Mlf: raising ml to the power of system f (2003)

by Didier Le Botlan, Didier Rémy
Venue:In Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, ICFP '03