Nondeterministic Call by Need is Neither Lazy Nor by Name (1982)

by W Clinger
Venue:In LFP’82 — Conf on LISP and Functional Programming