Thunks and the λ-calculus (1997)

by J Hatcliff, O Danvy
Venue:J. of Functional Programming