Call-by-need and continuationpassing style (1994)

by C Okasaki, P Lee, D Tarditi
Venue:Lisp and Symbolic Computation