Botlan and Didier Rémy. MLF: Raising ML to the power of System-F (2003)

by Didier Le
Venue:In Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming