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

by S PURUSHOTHAMAN, J SEAMAN
Venue:In Proc. ESOP 92