Thunks and the »-calculus. - HATCLIFF, JOHN; DANVY, OLIVIER (Journal of Functional Programming, 1997)