The following pages link to Inferring algebraic effects (Q2921118):
Displaying 5 items.
- Doo bee doo bee doo (Q5110934) (← links)
- Explicit effect subtyping (Q5120231) (← 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)
- Sound and complete type inference for closed effect rows (Q6111455) (← links)