The following pages link to Combining effects: sum and tensor (Q2500483):
Displaying 14 items.
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- Backtracking with cut via a distributive law and left-zero monoids (Q5372012) (← links)
- Tensors of Comodels and Models for Operational Semantics (Q5415644) (← links)
- Towards Effects in Mathematical Operational Semantics (Q5739352) (← links)
- Lawvere Categories as Composed PROPs (Q5739447) (← links)
- Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot (Q5875354) (← links)
- Stream processors and comodels (Q5883748) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- Unguarded recursion on coinductive resumptions (Q5971399) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)
- Latent Effects for Reusable Language Components (Q6488151) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
- Sum and tensor of quantitative effects (Q6635519) (← links)
- Beyond nonexpansive operations in quantitative algebraic reasoning (Q6649487) (← links)