Call-by-need and continuation-passing style (1994)

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