Not by equations alone. Reasoning with extensible effects
From MaRDI portal
(Redirected from Publication:5018775)
Recommendations
Cites work
- Algebraic operations and generic effects
- An effect system for algebraic effects and handlers
- An introduction to algebraic effects and handlers (invited tutorial paper)
- Combining effects: sum and tensor
- Deriving backtracking monad transformers
- Handlers of Algebraic Effects
- scientific article; zbMATH DE number 439891 (Why is no real title available?)
- scientific article; zbMATH DE number 1142321 (Why is no real title available?)
- scientific article; zbMATH DE number 1479618 (Why is no real title available?)
- scientific article; zbMATH DE number 7354705 (Why is no real title available?)
- Just do it
- Programming and reasoning with algebraic effects and dependent types
- Programming Techniques: Regular expression search algorithm
- Programming with algebraic effects and handlers
- Purely functional lazy nondeterministic programming
- Relational properties of domains
- Type directed compilation of row-typed algebraic effects
Cited in
(8)- State will do
- Handling local state with global state
- A hierarchy of monadic effects for program verification using equational reasoning
- Reasoning about functions with effects
- Inductive reasoning about effectful data types
- Programming and reasoning with algebraic effects and dependent types
- Structured handling of scoped effects
- Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation
This page was built for publication: Not by equations alone. Reasoning with extensible effects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5018775)
