A Virtual Machine for Functional Logic Computations
From MaRDI portal
Publication:5423547
DOI10.1007/11431664_7zbMath1119.68326MaRDI QIDQ5423547
Jimeng Liu, Sergio Antoy, Andrew Tolmach, Michael Hanus
Publication date: 23 October 2007
Published in: Implementation and Application of Functional Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11431664_7
Related Items
Functional Logic Programming: From Theory to Curry, Programming with narrowing: a tutorial, Lazy Context Cloning for Non-Deterministic Graph Rewriting, Reporting Failures in Functional Logic Programs, A Framework for Interpreting Traces of Functional Logic Computations, Transforming Functional Logic Programs into Monadic Functional Programs, Compiling a Functional Logic Language: The Fair Scheme
Uses Software