On laziness and optimality in lambda interpreters: Tools for specification and analysis (1990)

by John Field
Venue:In POPL