Generalized evidence passing for effect handlers: efficient compilation of effect handlers to CXie, Ningning, Leijen, Daan·2021·Proceedings of the ACM on Programming LanguagesDOI 10.1145/3473576