Handlers in action
From MaRDI portal
Publication:5244797
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
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
This page was built for publication: Handlers in action
