The following pages link to Partiality and Container Monads (Q5056003):
Displaying 5 items.
- An equational notion of lifting monad (Q1398461) (← links)
- The delay monad and restriction categories (Q1675789) (← links)
- Update Monads: Cointerpreting Directed Containers (Q2968407) (← links)
- Partiality, Revisited (Q2988390) (← links)
- Operational semantics using the partiality monad (Q5168888) (← links)