The implementation of functional programming languages (1987)

by S PEYTON-JONES