Pages that link to "Item:Q2520704"
From MaRDI portal
The following pages link to Stateful runners of effectful computations (Q2520704):
Displaying 6 items.
- Algebraic and coalgebraic perspectives on interaction laws (Q2038083) (← links)
- Runners in Action (Q5041086) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Dynamic delegation with a persistent state (Q6059560) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)