A sound and complete logic for algebraic effects

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

Authors: Cristina Matache, Sam Staton 

Publication date: 28 January 2020

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

Recommendations

• Behavioural equivalence via modalities for algebraic effects
• Quantitative logics for equivalence of effectful programs
• scientific article; zbMATH DE number 7453165
• An effect system for algebraic effects and handlers
• scientific article; zbMATH DE number 1705158

Mathematics Subject Classification ID

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

Cited In (9)

• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
• Runners for interleaving algebraic effects
• A complete axiomatisation for the logic of lattice effect algebras
• Combining algebraic effect descriptions using the tensor of complete lattices
• Behavioural equivalence via modalities for algebraic effects
• Efficient algebraic effect handlers for Prolog
• Effect polymorphism in higher-order logic (proof pearl)
• Inductive and coinductive predicate liftings for effectful programs
• Title not available (Why is that?)

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

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