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....
| Main Authors: | , , , , , |
|---|---|
| 格式: | Conference item |
| 语言: | English |
| 出版: |
Springer
2024
|