Return to Article Details Thunks and the lambda-Calculus (Extended Version) Download Download PDF