BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Collaborated with:
B.C.d.S.Oliveira X.Bi R.A.Eisenberg T.Schrijvers
Talks about:
polymorph (1) distribut (1) disjoint (1) composit (1) argument (1) program (1) datatyp (1) consist (1) subtyp (1) infer (1)

Person: Ningning Xie

DBLP DBLP: Xie:Ningning

Contributed to:

ESOP 20182018
ESOP 20192019
POPL 20202020

Wrote 4 papers:

ESOP-2018-XieBO #consistency #type system
Consistent Subtyping for All (NX, XB, BCdSO), pp. 3–30.
ESOP-2018-XieO
Let Arguments Go First (NX, BCdSO), pp. 272–299.
ESOP-2019-BiXOS #composition #morphism #polymorphism #programming
Distributive Disjoint Polymorphism for Compositional Programming (XB, NX, BCdSO, TS), pp. 381–409.
POPL-2020-XieEO #data type
Kind inference for datatypes (NX, RAE, BCdSO), p. 28.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.