Similar Items: Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library
- An Effect System for Algebraic Effects and Handlers
- A Calculus for Scoped Effects & Handlers
- Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
- Verified Approximation Algorithms
- Finite state verifiers with constant randomness
- Verifying liquidity of recursive Bitcoin contracts