Analysis and Ecient Implementation of Functional Programs (1991)

by Peter Sestoft