An introduction to algebraic effects and handlers (invited tutorial paper)
From MaRDI portal
Publication:5971390
DOI10.1016/j.entcs.2015.12.003zbMath1351.68079OpenAlexW2208976468WikidataQ113317741 ScholiaQ113317741MaRDI QIDQ5971390
Publication date: 16 December 2016
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.003
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
Explicit effect subtyping ⋮ Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Effect handlers via generalised continuations ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Local algebraic effect theories ⋮ No value restriction is needed for algebraic effects and handlers ⋮ Unnamed Item ⋮ Programming with algebraic effects and handlers ⋮ Continuation passing style for effect handlers ⋮ Not by equations alone: Reasoning with extensible effects
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming with algebraic effects and handlers
- Modelling environments in call-by-value programming languages.
- Algebraic operations and generic effects
- Combining effects: sum and tensor
- Algebraic Effects, Linearity, and Quantum Programming Languages
- Handling Algebraic Effects
- Inferring Algebraic Effects
- Algebraic foundations for effect-dependent optimisations
- Handlers of Algebraic Effects
- Substitution, jumps, and algebraic effects
- Programming and reasoning with algebraic effects and dependent types
- Handlers in action
- Tensors of Comodels and Models for Operational Semantics
- An Effect System for Algebraic Effects and Handlers
This page was built for publication: An introduction to algebraic effects and handlers (invited tutorial paper)
