Nondeterministic Call by Need is Neither Lazy Nor by Name

William D. Clinger. Nondeterministic Call by Need is Neither Lazy Nor by Name. In Symposium on LISP and Functional Programming. pages 226-234, 1982.

Abstract

Abstract is missing.