ML F : Raising ML to the power of System F (0)

by D Le Botlan, D Rémy
Venue:in: Proc. of International Conference on Functional Programming (ICFP’03