scientific article
From MaRDI portal
Publication:2763698
zbMath0987.68855MaRDI QIDQ2763698
Teresa Hortalá-González, Eva Ullán
Publication date: 22 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99) Grammars and rewriting systems (68Q42) Logic programming (68N17)
Related Items
Operational semantics for declarative multi-paradigm languages, The narrowing-driven approach to functional logic program specialization, A residualizing semantics for the partial evaluation of functional logic programs.
