Ningning Xie

0000-0002-5961-1493

cs.PLcs.DCcs.LGcs.LO

On Valency

published · living versions

W_hdbjd97q·v1 · currentpublished

Handling JAX

with Oghenevwogaga Ebresafe, Daniel Zheng, Gordon Plotkin

1 version

W_u3zx8zr3·v1published

Record Types Everywhere

Preprints & journals

8 papers in the corpus · 2019–2026

Record Types Everywhere2610.27519v1 · Matthew Toohey, Ara Jamalzadeh, Ningning Xie2026 · 0 citationsarXivon Valency

Handling Scope Checks (Extended Version)2601.18793v1 · Michael Lee, Ningning Xie, Oleg Kiselyov et al.2026 · 3 citationsProceedings of the ACM on Programming Languages (PACMPL), Volume 10, POPL 2026, Article 39

Handling the Selection Monad (Full Version)2504.03890v1 · Gordon Plotkin, Ningning Xie2025 · 0 citationsarXiv

flap: A Deterministic Parser with Fused Lexing2304.05276v3 · Jeremy Yallop, Ningning Xie, Neel Krishnaswami2023 · 10 citationsarXiv

Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning2110.10548v2 · Ningning Xie, Tamara Norman, Dominik Grewe et al.2021 · 7 citationsarXiv

Parallel Algebraic Effect Handlers2110.07493v1 · Ningning Xie, Daniel D. Johnson, Dougal Maclaurin et al.2021 · 0 citationsarXiv

Kind Inference for Datatypes: Technical Supplement1911.06153v1 · Ningning Xie, Richard A. Eisenberg, Bruno C. d. S. Oliveira2019 · 5 citationsarXiv

Coherence of Type Class Resolution1907.00844v2 · Gert-Jan Bottu, Ningning Xie, Koar Marntirosian et al.2019 · 12 citationsarXiv

Career total: 44 works. 8 are in this corpus.

Profile built from the corpus for this byline.

Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.