| Consistent Subtyping for All N XIE, X BI, BCDS OLIVEIRA, TOM SCHRIJVERS ACM Transactions on Programming Languages and Systems 42 (No. 1), Article 2, 2019 | 45 | 2019 |
| Consistent Subtyping for All N Xie, X Bi, BCS Oliveira Proceedings of the 27th European Symposium on Programming Languages and …, 2018 | 45 | 2018 |
| Effect handlers, evidently N Xie, JI Brachthäuser, D Hillerström, P Schuster, D Leijen Proceedings of the ACM on Programming Languages 4 (ICFP), 1-29, 2020 | 41 | 2020 |
| Effect Handlers, Evidently N Xie, J Brachthäuser, D Hillerström, P Schuster, D Leijen MSR-TR-2020-23. Microsoft Research. Extended version with proofs, 2020 | 41 | 2020 |
| Perceus: garbage free reference counting with reuse A Reinking, N Xie, L de Moura, D Leijen Proceedings of the 42nd ACM SIGPLAN International Conference on Programming …, 2021 | 37 | 2021 |
| Distributive Disjoint Polymorphism for Compositional Programming X Bi, N Xie, BCS Oliveira, T Schrijvers European Symposium on Programming Languages and Systems (ESOP 2019), 2019 | 26 | 2019 |
| Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C N Xie, D Leijen Proceedings of the ACM on Programming Languages 5 (ICFP), 1-30, 2021 | 23 | 2021 |
| Synthesizing optimal parallelism placement and reduction strategies on hierarchical systems for deep learning N Xie, T Norman, D Grewe, D Vytiniotis Proceedings of Machine Learning and Systems 4, 548-566, 2022 | 15 | 2022 |
| Staging with class: a specification for typed template Haskell N Xie, M Pickering, A Löh, N Wu, J Yallop, M Wang Proceedings of the ACM on Programming Languages 6 (POPL), 1-30, 2022 | 14 | 2022 |
| Coherence of type class resolution GJ Bottu, N Xie, K Marntirosian, T Schrijvers Proceedings of the ACM on Programming Languages 3 (ICFP), 91, 2019 | 13 | 2019 |
| Union Types with Disjoint Switches B Rehman, X Huang, N Xie, BCS Oliveira 36th European Conference on Object-Oriented Programming (ECOOP 2022), 2022 | 12 | 2022 |
| First-class Names for Effect Handlers N Xie, Y Cong, D Leijen HOPE, 2021 | 11 | 2021 |
| Row and bounded polymorphism via disjoint polymorphism N Xie, BCS Oliveira, X Bi, T Schrijvers 34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020 | 11 | 2020 |
| Effect handlers in Haskell, evidently N Xie, D Leijen Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 95-108, 2020 | 9 | 2020 |
| Let Arguments Go First N Xie, BC d. S. Oliveira Programming Languages and Systems, Amal Ahmed (Ed.). Springer International …, 2018 | 9* | 2018 |
| MacoCaml: Staging composable and compilable macros N Xie, L White, O Nicole, J Yallop Proceedings of the ACM on Programming Languages 7 (ICFP), 604-648, 2023 | 7 | 2023 |
| Coercion Quantification N Xie, RA Eisenberg 10th Haskell Implementors' Workshop, 2018 | 5 | 2018 |
| Generalized evidence passing for effect handlers N Xie, D Leijen Microsoft Research. Extended version with proofs, 2021 | 4 | 2021 |
| Infix-Extensible Record Types for Tabular Data A Paszke, N Xie Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023 | 3 | 2023 |
| Parallel Algebraic Effect Handlers N Xie, DD Johnson, D Maclaurin, A Paszke arXiv preprint arXiv:2110.07493, 2021 | 3 | 2021 |
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong Kong在 cs.hku.hk 的电子邮件经过验证
