Implementing functional logic languages using multiple threads and stores
From MaRDI portal
Publication:5178026
DOI10.1145/1016850.1016865zbMath1323.68167OpenAlexW4252577025MaRDI QIDQ5178026
Andrew Tolmach, Sergio Antoy, Marius Nita
Publication date: 9 March 2015
Published in: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1016850.1016865
Theory of compilers and interpreters (68N20) Functional programming and lambda calculus (68N18) Logic programming (68N17)
Related Items
Programming with narrowing: a tutorial ⋮ Lazy Context Cloning for Non-Deterministic Graph Rewriting ⋮ Extra Variables Can Be Eliminated from Functional Logic Programs
Uses Software