The implementation of junctional programming languages (1987)

by S L Peyton Jones