Handlers of Algebraic Effects

DOI10.1007/978-3-642-00590-9_7zbMath1234.68059OpenAlexW1830421783MaRDI QIDQ3617692

Matija Pretnar, Gordon D. Plotkin

Publication date: 31 March 2009

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-00590-9_7

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (27)

Normalization by evaluation and algebraic effects ⋮ Freyd categories are enriched Lawvere theories ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics ⋮ Unifying Theories of Programming with Monads ⋮ A duality between exceptions and states ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Monad transformers as monoid transformers ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ An algebraic theory for shared-state concurrency ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Local algebraic effect theories ⋮ A representation theorem for second-order functionals ⋮ Unnamed Item ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Unguarded recursion on coinductive resumptions ⋮ Unnamed Item ⋮ Equational Theories of Abnormal Termination Based on Kleene Algebra ⋮ Programming with algebraic effects and handlers ⋮ Relating Computational Effects by ⊤ ⊤-Lifting ⋮ A computational treatment of anaphora and its algorithmic implementation ⋮ Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ Not by equations alone: Reasoning with extensible effects

This page was built for publication: Handlers of Algebraic Effects