The following pages link to (Q2847820):
Displayed 16 items.
- Coalgebraic update lenses (Q283736) (← links)
- Monoidal indeterminates and categories of possible worlds (Q418809) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- Fully abstract trace semantics for protected module architectures (Q1749116) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- Comonadic Notions of Computation (Q2873672) (← links)
- Category Theoretic Understandings of Universal Algebra and its Dual: Monads and Lawvere Theories, Comonads and What? (Q3178270) (← links)
- Runners in Action (Q5041086) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Sound and complete equational reasoning over comodels (Q5971406) (← links)
- Sweedler theory of monads (Q6181941) (← links)