Functional compilation from the Standard ML core language to lambda calculus (1992)

by Nick Rothwell
Venue:in Fourth Annula Workshop on Functional Programming