scientific article

zbMath1270.68158MaRDI QIDQ2844053

Andrew Tolmach, Sergio Antoy

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104806911

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

A coinductive calculus for asynchronous side-effecting processes, Evaluation strategies for functional logic programming, A Coinductive Calculus for Asynchronous Side-Effecting Processes

Uses Software

• Haskell
• Curry