An adequate operational semantics for sharing in lazy evaluation (1992)

by S Purushothaman, J Seaman
Venue:In: Proc. 4th European Symp. on Program