The following pages link to Composing monads using coproducts (Q2949200):
Displayed 9 items.
- Monad transformers as monoid transformers (Q615955) (← links)
- Explicit substitutions and higher-order syntax (Q853744) (← links)
- Combining algebraic effects with continuations (Q879352) (← links)
- A categorical framework for learning generalised tree automata (Q2104477) (← links)
- Building Verification Condition Generators by Compositional Extension (Q2864396) (← links)
- Notions of Bidirectional Computation and Entangled State Monads (Q2941175) (← links)
- (Q5009436) (← links)
- Modularity and Implementation of Mathematical Operational Semantics (Q5166622) (← links)
- Interleaving data and effects (Q5371955) (← links)