Pages that link to "Item:Q5892064"
From MaRDI portal
The following pages link to An Effect System for Algebraic Effects and Handlers (Q5892064):
Displayed 7 items.
- Eff (Q34512) (← links)
- Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
- Runners in Action (Q5041086) (← 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)
- Structured handling of scoped effects (Q6166800) (← links)