Pages that link to "Item:Q5892064"
From MaRDI portal
The following pages link to An Effect System for Algebraic Effects and Handlers (Q5892064):
Displaying 13 items.
- Eff (Q34512) (← links)
- One-shot algebraic effects as coroutines (Q2037431) (← links)
- Efficient algebraic effect handlers for Prolog (Q4593065) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Runners in Action (Q5041086) (← links)
- Effect handlers via generalised continuations (Q5110928) (← links)
- Local algebraic effect theories (Q5120228) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390) (← links)
- A type system for effect handlers and dynamic labels (Q6535238) (← links)
- Asymptotic speedup via effect handlers (Q6561531) (← links)
- Signature restriction for polymorphic algebraic effects (Q6594243) (← links)
- Higher-order asynchronous effects (Q6635509) (← links)