Pages that link to "Item:Q879352"
From MaRDI portal
The following pages link to Combining algebraic effects with continuations (Q879352):
Displaying 16 items.
- Observationally-induced algebras in domain theory (Q276418) (← links)
- Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects (Q345713) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- Programming with algebraic effects and handlers (Q478396) (← links)
- Discrete Lawvere theories and computational effects (Q860883) (← links)
- Commutativity (Q899553) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- The category theoretic understanding of universal algebra: Lawvere theories and monads (Q2864158) (← links)
- Observationally-induced Effects in Cartesian Closed Categories (Q3178272) (← links)
- Gabriel–Ulmer duality and Lawvere theories enriched over a general base (Q3638917) (← links)
- (Q4957793) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Decomposing Comonad Morphisms. (Q5875355) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
