Handlers in action

DOI10.1145/2500365.2500590zbMath1323.68126OpenAlexW1971752790MaRDI QIDQ5244797

Ohad Kammar, Nicolas Oury, Sam Lindley

Publication date: 30 March 2015

Published in: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2500365.2500590

zbMATH Keywords

Haskellmonadsmodularityalgebraic effectscontinuationseffect handlerseffect typing

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Related Items (22)

Normalization by evaluation and algebraic effects ⋮ Explicit effect subtyping ⋮ Runners in Action ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ A Functional Abstraction of Typed Invocation Contexts ⋮ Notions of Bidirectional Computation and Entangled State Monads ⋮ Fusion for Free ⋮ Efficient algebraic effect handlers for Prolog ⋮ Understanding algebraic effect handlers via delimited control operators ⋮ Effect handlers via generalised continuations ⋮ Effekt: Capability-passing style for type- and effect-safe, extensible effect handlers in Scala ⋮ Doo bee doo bee doo ⋮ Structured handling of scoped effects ⋮ Automated temporal verification for algebraic effects ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ An introduction to algebraic effects and handlers (invited tutorial paper) ⋮ Reversible monadic computing ⋮ Iteration and labelled iteration ⋮ Unnamed Item ⋮ Introducing a Calculus of Effects and Handlers for Natural Language Semantics ⋮ Continuation passing style for effect handlers

Uses Software

• Haskell
• OCaml
• effects
• criterion
• Frank
• pipes
• mtl

This page was built for publication: Handlers in action