A Call-by-Need Strategy for Higher-Order Functional-Logic Programming

Christian Prehofer. A Call-by-Need Strategy for Higher-Order Functional-Logic Programming. In ILPS. pages 147-161, 1995.

Abstract

Abstract is missing.