Scoped effects as parameterized algebraic theories
Notions of computation can be modelled by monads. Algebraic effects offer a characterization of monads in terms of algebraic operations and equational axioms, where operations are basic programming features, such as reading or updating the state, and axioms specify observably equivalent expressions....
| Hauptverfasser: | , , , , , |
|---|---|
| Format: | Conference item |
| Sprache: | English |
| Veröffentlicht: |
Springer
2024
|