Ningning Xie
Ningning Xie
Bestätigte E-Mail-Adresse bei hku.hk - 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
242019
Consistent Subtyping for All
N Xie, X Bi, BCS Oliveira
Proceedings of the 27th European Symposium on Programming Languages and …, 2018
242018
Distributive Disjoint Polymorphism for Compositional Programming
X Bi, N Xie, BC d. S. Oliveira, T Schrijvers
European Symposium on Programming (ESOP), 13, 2019
52019
Distributive Disjoint Polymorphism for Compositional Programming
X Bi, N Xie, BCS Oliveira, T Schrijvers
European Symposium on Programming Languages and Systems (ESOP 2019), 2019
52019
Coherence of type class resolution
GJ Bottu, N Xie, K Marntirosian, T Schrijvers
Proceedings of the ACM on Programming Languages 3 (ICFP), 91, 2019
42019
Let Arguments Go First
N Xie, BC d. S. Oliveira
Programming Languages and Systems, Amal Ahmed (Ed.). Springer International …, 2018
4*2018
Coercion Quantification
N Xie, RA Eisenberg
10th Haskell Implementors' Workshop, 2018
42018
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
3*2020
Effect handlers in Haskell, evidently
N Xie, D Leijen
Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell, 95-108, 2020
12020
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
12020
Let Arguments Go First
N Xie, BCS Oliveira
Proceedings of the 27th European Symposium on Programming Languages and …, 2018
12018
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
2020
Kind Inference for Datatypes
N Xie, RA Eisenberg, BCDS OLIVEIRA
Proceedings of the ACM on Programming Languages 4 (POPL), 53, 2019
2019
Kind Inference for Datatypes: Technical Supplement
N Xie, RA Eisenberg, BCS Oliveira
arXiv preprint arXiv:1911.06153, 2019
2019
Towards Unification for Dependent Types
N Xie, BCS Oliveira
Symposium on Trends in Functional Programming, 2017
2017
Perceus: Garbage Free Reference Counting with Reuse
A Reinking, N Xie, L de Moura, D Leijen
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–16