Stateful runners of effectful computations
From MaRDI portal
Publication:2520704
DOI10.1016/j.entcs.2015.12.024zbMath1351.68104OpenAlexW2197458523WikidataQ113317717 ScholiaQ113317717MaRDI QIDQ2520704
Publication date: 16 December 2016
Full work available at URL: https://doi.org/10.1016/j.entcs.2015.12.024
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items (6)
Stream processors and comodels ⋮ Runners in Action ⋮ The costructure–cosemantics adjunction for comodels for computational effects ⋮ Streams of approximations, equivalence of recursive effectful programs ⋮ Runners for interleaving algebraic effects ⋮ Sweedler theory of monads
Cites Work
- Unnamed Item
- Unnamed Item
- Coalgebraic update lenses
- Notions of computation and monads
- Combining algebraic effects with continuations
- The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads
- Handling Algebraic Effects
- Update Monads: Cointerpreting Directed Containers
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What?
- Linear usage of state
- Tensors of Comodels and Models for Operational Semantics
This page was built for publication: Stateful runners of effectful computations
