Implementation of Functional Programming Languages (1987)

by S Peyton Jones, D Lester