Abstraction-safe effect handlers via tunnelingZhang, Yizhou, Myers, Andrew C.·2019·Proceedings of the ACM on Programming LanguagesDOI 10.1145/3290318