Pages that link to "Item:Q2520704"
From MaRDI portal
The following pages link to Stateful runners of effectful computations (Q2520704):
Displayed 6 items.
- Runners in Action (Q5041086) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Streams of approximations, equivalence of recursive effectful programs (Q6109211) (← links)
- Runners for interleaving algebraic effects (Q6164485) (← links)
- Sweedler theory of monads (Q6181941) (← links)