Pages that link to "Item:Q5891182"
From MaRDI portal
The following pages link to An Effect System for Algebraic Effects and Handlers (Q5891182):
Displaying 6 items.
- One-shot algebraic effects as coroutines (Q2037431) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- Gradual type theory (Q5019016) (← links)
- A Functional Abstraction of Typed Invocation Contexts (Q5043596) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Doo bee doo bee doo (Q5110934) (← links)