No. 7 (1997): RS-07 Thunks and the lambda-Calculus (Extended Version)

Published: 1997-01-07