( en | de | ru )

 

Disambiguation of "Xie, Ningning"

Author of the publication

copydeleteadd this publication to your clipboard
Coherence of type class resolution.

, , , and . Proc. ACM Program. Lang., 3 (ICFP): 91:1-91:28 (2019)

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

Qian Xie

Zhenwei Xie

Mingliang 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)First-class names for effect handlers., , , and . Proc. ACM Program. Lang., 6 (OOPSLA2): 30-59 (2022)Consistent Subtyping for All., , , and . ACM Trans. Program. Lang. Syst., 42 (1): 2:1-2:79 (2020)Synthesizing Optimal Parallelism Placement and Reduction Strategies on Hierarchical Systems for Deep Learning., , , and . CoRR, (2021)Infix-Extensible Record Types for Tabular Data., and . TyDe@ICFP, page 29-43. ACM, (2023)Union Types with Disjoint Switches., , , and . ECOOP, volume 222 of LIPIcs, page 25:1-25:31. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)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)