Pages that link to "Item:Q5971390"

The following pages link to An introduction to algebraic effects and handlers (invited tutorial paper) (Q5971390):

Displaying 11 items.

• Programming with algebraic effects and handlers (Q478396) (← links)
• Introducing \(\llparenthesis\lambda\rrparenthesis\), a \(\lambda \)-calculus for effectful computation (Q831147) (← links)
• Not by equations alone: Reasoning with extensible effects (Q5018775) (← links)
• Effect handlers via generalised continuations (Q5110928) (← links)
• Continuation passing style for effect handlers (Q5111314) (← links)
• Local algebraic effect theories (Q5120228) (← links)
• Explicit effect subtyping (Q5120231) (← links)
• No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
• Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library (Q6178671) (← links)
• Asymptotic speedup via effect handlers (Q6561531) (← links)
• Higher-order asynchronous effects (Q6635509) (← links)