Similar Items: A Calculus for Scoped Effects & Handlers
- An Effect System for Algebraic Effects and Handlers
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
- Simplifying explicit subtyping coercions in a polymorphic calculus with effects
- Linear-use CPS translations in the Enriched Effect Calculus
- A calculus for costed computations