The Implementation of Functional Programming Languages (1987)

by S L Peyton Jones