Instances of computational effects: an algebraic perspective

DOI10.1109/LICS.2013.58MaRDI QIDQ5271089zbMATH OpenOpenAlexFDO

Authors Sam Staton

Publication date 3 July 2017

Published in 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/lics.2013.58

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Local algebraic effect theories
• scientific article; zbMATH DE number 2087441
• Algebraic operations and generic effects
• Generic models for computational effects
• scientific article; zbMATH DE number 139984

Cited in

(26)

• One-shot algebraic effects as coroutines
• Theory and practice of second-order rewriting: foundation, evolution, and SOL
• Local local reasoning: a BI-hyperdoctrine for full ground store
• Normalization by evaluation and algebraic effects
• Freyd categories are enriched Lawvere theories
• Dependent types and fibred computational effects
• Relating Computational Effects by ⊤ ⊤-Lifting
• Effect algebras, presheaves, non-locality and contextuality
• Completeness for algebraic theories of local state
• scientific article; zbMATH DE number 2087428 (Why is no real title available?)
• scientific article; zbMATH DE number 2087441 (Why is no real title available?)
• The beta-Bernoulli process and algebraic effects
• scientific article; zbMATH DE number 7453165 (Why is no real title available?)
• The costructure–cosemantics adjunction for comodels for computational effects
• Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular
• scientific article; zbMATH DE number 7566074 (Why is no real title available?)
• How to prove decidability of equational theories with second-order computation analyser SOL
• No value restriction is needed for algebraic effects and handlers
• Diagrammatic presentations of enriched monads and varieties for a subcategory of arities
• Localisable monads
• Structured handling of scoped effects
• Higher-order asynchronous effects
• A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories
• Hefty algebras: modular elaboration of higher-order effects
• A calculus for scoped effects \& handlers
• Generic models for computational effects

This page was built for publication: Instances of computational effects: an algebraic perspective

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