Abstraction-safe effect handlers via tunnelingYizhou Zhang, Andrew C. Myers|Proceedings of the ACM on Programming Languages|2019Cited by 43