Deriving a lazy abstract machine (1997)

by Peter Sestoft
Venue:J. Funct. Program