default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNingning Xie
Person information
- affiliation: University of Toronto, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j10]Ningning Xie
, Leo White, Olivier Nicole, Jeremy Yallop:
MacoCaml: Staging Composable and Compilable Macros. Proc. ACM Program. Lang. 7(ICFP): 604-648 (2023)- [j9]Jeremy Yallop, Ningning Xie, Neel Krishnaswami:
flap: A Deterministic Parser with Fused Lexing. Proc. ACM Program. Lang. 7(PLDI): 1194-1217 (2023) - [c11]Ningning Xie:
Haskell for Choice-Based Learning (Keynote). Haskell 2023: 1 - [c10]Adam Paszke, Ningning Xie:
Infix-Extensible Record Types for Tabular Data. TyDe@ICFP 2023: 29-43 - [i5]Jeremy Yallop, Ningning Xie, Neel Krishnaswami:
flap: A Deterministic Parser with Fused Lexing. CoRR abs/2304.05276 (2023) - 2022
- [j8]Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira:
Union Types with Disjoint Switches (Artifact). Dagstuhl Artifacts Ser. 8(2): 17:1-17:6 (2022) - [j7]Ningning Xie, Youyou Cong, Kazuki Ikemori, Daan Leijen:
First-class names for effect handlers. Proc. ACM Program. Lang. 6(OOPSLA2): 30-59 (2022) - [j6]Ningning Xie, Matthew Pickering, Andres Löh, Nicolas Wu, Jeremy Yallop, Meng Wang:
Staging with class: a specification for typed template Haskell. Proc. ACM Program. Lang. 6(POPL): 1-30 (2022) - [c9]Xu Xue, Bruno C. d. S. Oliveira, Ningning Xie:
Applicative Intersection Types. APLAS 2022: 155-174 - [c8]Baber Rehman, Xuejing Huang, Ningning Xie, Bruno C. d. S. Oliveira:
Union Types with Disjoint Switches. ECOOP 2022: 25:1-25:31 - [c7]Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis:
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. MLSys 2022 - 2021
- [j5]Ningning Xie, Daan Leijen:
Generalized evidence passing for effect handlers: efficient compilation of effect handlers to C. Proc. ACM Program. Lang. 5(ICFP): 1-30 (2021) - [c6]Alex Reinking, Ningning Xie, Leonardo de Moura, Daan Leijen:
Perceus: garbage free reference counting with reuse. PLDI 2021: 96-111 - [i4]Ningning Xie, Daniel D. Johnson, Dougal Maclaurin, Adam Paszke:
Parallel Algebraic Effect Handlers. CoRR abs/2110.07493 (2021) - [i3]Ningning Xie, Tamara Norman, Dominik Grewe, Dimitrios Vytiniotis:
Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning. CoRR abs/2110.10548 (2021) - 2020
- [j4]Ningning Xie, Jonathan Immanuel Brachthäuser, Daniel Hillerström, Philipp Schuster, Daan Leijen:
Effect handlers, evidently. Proc. ACM Program. Lang. 4(ICFP): 99:1-99:29 (2020) - [j3]Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira:
Kind inference for datatypes. Proc. ACM Program. Lang. 4(POPL): 53:1-53:28 (2020) - [j2]Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers:
Consistent Subtyping for All. ACM Trans. Program. Lang. Syst. 42(1): 2:1-2:79 (2020) - [c5]Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers:
Row and Bounded Polymorphism via Disjoint Polymorphism. ECOOP 2020: 27:1-27:30 - [c4]Ningning Xie, Daan Leijen:
Effect handlers in Haskell, evidently. Haskell@ICFP 2020: 95-108
2010 – 2019
- 2019
- [j1]Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers:
Coherence of type class resolution. Proc. ACM Program. Lang. 3(ICFP): 91:1-91:28 (2019) - [c3]Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers:
Distributive Disjoint Polymorphism for Compositional Programming. ESOP 2019: 381-409 - [i2]Gert-Jan Bottu, Ningning Xie, Koar Marntirosian, Tom Schrijvers:
Coherence of Type Class Resolution. CoRR abs/1907.00844 (2019) - [i1]Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira:
Kind Inference for Datatypes: Technical Supplement. CoRR abs/1911.06153 (2019) - 2018
- [c2]Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira:
Consistent Subtyping for All. ESOP 2018: 3-30 - [c1]Ningning Xie, Bruno C. d. S. Oliveira:
Let Arguments Go First. ESOP 2018: 272-299
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:10 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
