scientific article

zbMath0988.68516MaRDI QIDQ2767032

Germán Vidal, Michael Hanus, Elvira Albert

Publication date: 22 July 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items

Functional Logic Programming: From Theory to Curry, The narrowing-driven approach to functional logic program specialization, A residualizing semantics for the partial evaluation of functional logic programs.

Uses Software

• ECCE
• Mercury