Contextual Modal Types for Algebraic Effects and Handlers

Nikita Zyuzin, Aleksandar Nanevski

Programming languages with algebraic effects often track the computations' effects using type-and-effect systems. In this paper, we propose to view an algebraic effect theory of a…