( en | de | ru )

 

Disambiguation of "Xie, Ningning"

Author of the publication

copydeleteadd this publication to your clipboard
Consistent Subtyping for All.

, , , and . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jian Xie

Yangpei Xie

Zhenwei Xie

Mingliang Xie

Qian Xie

 

Other publications of authors with the same name

Effect handlers, evidently., , , , and . Proc. ACM Program. Lang., 4 (ICFP): 99:1-99:29 (2020)Union Types with Disjoint Switches (Artifact)., , , and . Dagstuhl Artifacts Ser., 8 (2): 17:1-17:6 (2022)Consistent Subtyping for All., , , and . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)First-class names for effect handlers., , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 30-59 (2022)Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning., , , and . CoRR, (2021)Union Types with Disjoint Switches., , , and . ECOOP, volume 222 of LIPIcs, page 25:1-25:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Infix-Extensible Record Types for Tabular Data., and . TyDe@ICFP, page 29-43. ACM, (2023)Haskell for Choice-Based Learning (Keynote).. Haskell, page 1. ACM, (2023)Coherence of type class resolution., , , and . Proc. ACM Program. Lang., 3 (ICFP): 91:1-91:28 (2019)Staging with class: a specification for typed template Haskell., , , , , and . Proc. ACM Program. Lang., 6 (POPL): 1-30 (2022)