The following pages link to Runners in Action (Q5041086):
Displaying 7 items.
- Stateful runners of effectful computations (Q2520704) (← links)
- (Q4249820) (← links)
- The costructure–cosemantics adjunction for comodels for computational effects (Q5058362) (← links)
- Stream processors and comodels (Q5883748) (← links)
- Region-based resource management and lexical exception handlers in continuation-passing style (Q6166801) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)
- Two guarded recursive powerdomains for applicative simulation (Q6653758) (← links)