Narrowing as the Operational Semantics of Functional Languages

Uday S. Reddy. Narrowing as the Operational Semantics of Functional Languages. In SLP. pages 138-151, 1985.

Abstract

Abstract is missing.