The Implementation of Functional Programming Languages (1987)

by S Peyton-Jones