ML^F - Raising ML to the Power of System F (2003)

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