An Evaluation Semantics for Narrowing-Based Functional Logic Languages

Michael Hanus, Salvador Lucas. An Evaluation Semantics for Narrowing-Based Functional Logic Languages. Journal of Functional and Logic Programming, 2001(2), 2001.

Abstract

Abstract is missing.