Stateful runners of effectful computations
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 2087441 (Why is no real title available?)
- Category theoretic understandings of universal algebra and its dual: monads and Lawvere theories, comonads and what?
- Coalgebraic update lenses
- Combining algebraic effects with continuations
- From comodels to coalgebras: state and arrays
- Handling algebraic effects
- Linear usage of state
- Notions of computation and monads
- Tensors of comodels and models for operational semantics
- The category theoretic understanding of universal algebra: Lawvere theories and monads
- Update monads: cointerpreting directed containers
Cited in
(10)- Interaction laws of monads and comonads
- Runners for interleaving algebraic effects
- Streams of approximations, equivalence of recursive effectful programs
- Runners in Action
- Dynamic delegation with a persistent state
- Algebraic and coalgebraic perspectives on interaction laws
- Sweedler theory of monads
- Stream processors and comodels
- Two guarded recursive powerdomains for applicative simulation
- The costructure–cosemantics adjunction for comodels for computational effects
This page was built for publication: Stateful runners of effectful computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2520704)
