Instances of Computational Effects: An Algebraic Perspective
From MaRDI portal
Publication:5271089
DOI10.1109/LICS.2013.58zbMath1368.68183OpenAlexW4235724312MaRDI QIDQ5271089
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
Semantics in the theory of computing (68Q55) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)
Related Items
Normalization by evaluation and algebraic effects, Freyd categories are enriched Lawvere theories, Effect Algebras, Presheaves, Non-locality and Contextuality, Diagrammatic presentations of enriched monads and varieties for a subcategory of arities, How to prove decidability of equational theories with second-order computation analyser SOL, Structured handling of scoped effects, Unnamed Item, Local local reasoning: a BI-hyperdoctrine for full ground store, No value restriction is needed for algebraic effects and handlers, Unnamed Item, Theory and practice of second-order rewriting: foundation, evolution, and SOL, Dependent Types and Fibred Computational Effects, Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular