Not by equations alone: Reasoning with extensible effects
From MaRDI portal
Publication:5018775
DOI10.1017/S0956796820000271OpenAlexW3128947121MaRDI QIDQ5018775
Oleg Kiselyov, Shin-Cheng Mu, Amr Sabry
Publication date: 22 December 2021
Published in: Journal of Functional Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0956796820000271
Related Items (2)
Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation ⋮ Structured handling of scoped effects
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Programming with algebraic effects and handlers
- Algebraic operations and generic effects
- Relational properties of domains
- Combining effects: sum and tensor
- Deriving backtracking monad transformers
- Handlers of Algebraic Effects
- Purely functional lazy nondeterministic programming
- Just do it
- Programming and reasoning with algebraic effects and dependent types
- Type directed compilation of row-typed algebraic effects
- Programming Techniques: Regular expression search algorithm
- An Effect System for Algebraic Effects and Handlers
- An introduction to algebraic effects and handlers (invited tutorial paper)
This page was built for publication: Not by equations alone: Reasoning with extensible effects
