Thunks and the lambda-Calculus

John Hatcliff, Olivier Danvy. Thunks and the lambda-Calculus. Journal of Functional Programming, 7(3):303-319, 1997.

Abstract

Abstract is missing.