Folgen
Ningning Xie
Ningning Xie
University of Toronto
Bestätigte E-Mail-Adresse bei cs.toronto.edu - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
482019
Consistent Subtyping for All
N Xie, X Bi, BCS Oliveira
Proceedings of the 27th European Symposium on Programming Languages and …, 2018
482018
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
432021
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
422020
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
422020
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
252021
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
182022
Coherence of type class resolution
GJ Bottu, N Xie, K Marntirosian, T Schrijvers
Proceedings of the ACM on Programming Languages 3 (ICFP), 91, 2019
152019
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
142022
First-class Names for Effect Handlers
N Xie, Y Cong, D Leijen
HOPE, 2021
142021
Union types with disjoint switches
B Rehman, X Huang, N Xie, BCS Oliveira
36th European Conference on Object-Oriented Programming (ECOOP 2022), 25: 1 …, 2022
132022
Distributive Disjoint Polymorphism for Compositional Programming
X Bi, N Xie, BCS Oliveira, T Schrijvers
European Symposium on Programming Languages and Systems (ESOP 2019), 2019
132019
Bruno C. d. S. Oliveira, and Tom Schrijvers. 2019. Distributive disjoint polymorphism for compositional programming
X Bi, N Xie
ESOP. https://doi. org/10.1007/978-3-030-17184-1_14 10, 978-3, 0
13
Row and bounded polymorphism via disjoint polymorphism
N Xie, BCS Oliveira, X Bi, T Schrijvers
34th European Conference on Object-Oriented Programming (ECOOP 2020), 27: 1 …, 2020
122020
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
112023
Effect handlers in Haskell, evidently
N Xie, D Leijen
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 95-108, 2020
92020
Let Arguments Go First
N Xie, BC d. S. Oliveira
Programming Languages and Systems, Amal Ahmed (Ed.). Springer International …, 2018
92018
Bruno C. d. S. Oliveira. 2019. Kind Inference for Datatypes
N Xie, RA Eisenberg
Proc. ACM Program. Lang 4, 13, 0
6
Coercion Quantification
N Xie, RA Eisenberg
10th Haskell Implementors' Workshop, 2018
52018
Infix-Extensible Record Types for Tabular Data
A Paszke, N Xie
Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven …, 2023
42023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20