A type directed translation from MLF to System F (2007)

by D Leijen
Venue:In: The International Conference on Functional Programming