Similar Items: An Effect System for Algebraic Effects and Handlers
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- A Calculus for Scoped Effects & Handlers
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
- Inferring Algebraic Effects
- Handling Algebraic Effects
- Towards an Algebra for Cascade Effects