Thunks and the -calculus (1997)

by John Hatcliff, Olivier Danvy
Venue:Journal of Functional Programming