Handling Algebraic Effects

DOI10.2168/LMCS-9(4:23)2013zbMath1314.68191arXiv1312.1399OpenAlexW2129902163MaRDI QIDQ2871476

Matija Pretnar, Gordon D. Plotkin

Publication date: 8 January 2014

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.1399

zbMATH Keywords

algebraic effectsexception handlersgeneralised handlers

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50)

Related Items (31)

Explicit effect subtyping ⋮ Runners in Action ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Fusion for Free ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ When programs have to watch paint dry ⋮ Tabling as a library with delimited control ⋮ Efficient algebraic effect handlers for Prolog ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Towards efficient adjustment of effect rows ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Protocol choice and iteration for the free cornering ⋮ Runners for interleaving algebraic effects ⋮ Structured handling of scoped effects ⋮ Graded algebraic theories ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Backtracking with cut via a distributive law and left-zero monoids ⋮ Mac Lane's comparison theorem for the Kleisli construction formalized in Coq ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Reversible monadic computing ⋮ PRISM revisited: declarative implementation of a probabilistic programming language using multi-prompt delimited control ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Stateful runners of effectful computations ⋮ Unnamed Item ⋮ Dependent Types and Fibred Computational Effects ⋮ Continuation passing style for effect handlers

Uses Software

• Haskell

This page was built for publication: Handling Algebraic Effects