The Theory and Practice of Transforming Call-by-need into Call-byvalue (1980)

by Alan Mycroft
Venue:In International Symposium on Programming, Proceedings of the 4th ’Colloque International sur la Programmation’, volume 83 of LNCS