Deriving a Lazy Abstract Machine (1997)

by Peter Sestoft
Venue:Journal of Functional Programming