Call-by-need and Continuation-passing Style (1993)

by Chris Okasaki, Peter Lee, David Tarditi
Venue:Lisp and Symbolic Computation