Handle with care: relational interpretation of algebraic effects and handlers

Biernacki, Dariusz, Piróg, Maciej, Polesiuk, Piotr, Sieczkowski, Filip·2018·Proceedings of the ACM on Programming Languages