A standard ML compiler (1987)

by Andrew Appel, David MacQueen
Venue:In Conference on Functional Programming Languages and Computer Architecture