Pages that link to "Item:Q2968407"
From MaRDI portal
The following pages link to Update Monads: Cointerpreting Directed Containers (Q2968407):
Displaying 5 items.
- Coalgebraic update lenses (Q283736) (← links)
- The coinductive resumption monad (Q283770) (← links)
- Stateful runners of effectful computations (Q2520704) (← links)
- Context Update for Lambdas and Vectors (Q2964008) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)