The theory and practice of transforming call-by-need into call-by-value (1980)

by A Mycroft
Venue:Proc. 4 th Int. Symp. on Programming, Paris, FR, 22 24 Apr. 1980, LNCS 83