A Standard ML Compiler (1987)

by Andrew W. Appel, David B. Macqueen
Venue:Functional Programming Languages and Computer Architecture