A monadic semantics for core Curry

MaRDI QIDQ2844053zbMATH OpenFDO

Authors Andrew Tolmach, Sergio Antoy

Publication date 27 August 2013

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

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1231463
• A fully abstract semantics for a higher-order functional language with nondeterministic computation
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• Operational semantics using the partiality monad
• Semantics for core Concurrent ML using computation types

Cited in

(6)

• Evaluation strategies for functional logic programming
• scientific article; zbMATH DE number 1696886 (Why is no real title available?)
• scientific article; zbMATH DE number 6476783 (Why is no real title available?)
• An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes

Describes a project that uses

Uses Software

• Haskell
• Curry

This page was built for publication: A monadic semantics for core Curry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2844053)