A sound and complete logic for algebraic effects

DOI10.1007/978-3-030-17127-8_22OpenAlexW2926572242MaRDI QIDQ2289090

Sam Staton, Cristina Matache

Publication date: 28 January 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-17127-8_22

Mathematics Subject Classification ID

Theory of computing (68Qxx) Theory of software (68Nxx)

Related Items (7)

Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Combining algebraic effect descriptions using the tensor of complete lattices ⋮ Efficient algebraic effect handlers for Prolog ⋮ Runners for interleaving algebraic effects ⋮ Unnamed Item ⋮ Effect polymorphism in higher-order logic (proof pearl) ⋮ Inductive and coinductive predicate liftings for effectful programs

This page was built for publication: A sound and complete logic for algebraic effects