Xie, Ningning

Perceus: garbage free reference counting with reuse

Reinking, A., Xie, N., de Moura, L., & Leijen, D. (2021) · Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation

Logic, programming, and type systemsParallel Computing and Optimization Techniques

Cited by 32

Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C

Xie, N., & Leijen, D. (2021) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 19

First-class names for effect handlers

Xie, N., Cong, Y., Ikemori, K., & Leijen, D. (2022) · Proceedings of the ACM on Programming Languages

Logic, programming, and type systemsTeaching and Learning Programming

Cited by 11

Effect handlers in Haskell, evidently

Xie, N., & Leijen, D. (2020) · Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell

Logic, programming, and type systemsDistributed systems and fault tolerance

Cited by 8