Operational Semantics for Functional Logic Languages

Elvira Albert, Michael Hanus, Frank Huch, Javier Oliver, Germán Vidal. Operational Semantics for Functional Logic Languages. Electronic Notes in Theoretical Computer Science, 76:1-19, 2002. [doi]

Abstract

Abstract is missing.