A Framework for the Automated Verification of Algebraic Effects and Handlers (extended version)

Tiago Soares, Mário Pereira

Algebraic effects and handlers are a powerful abstraction to build non-local control-flow mechanisms such as resumable exceptions, lightweight threads, co-routines, generators, and…