Collaborated with:B.C.d.S.Oliveira N.Xie T.Schrijvers
Talks about:composit (2) polymorph (1) distribut (1) disjoint (1) program (1) consist (1) subtyp (1) essenc (1) trait (1) first (1)
Person: Xuan Bi
DBLP: Bi:Xuan
Contributed to:
20182019
2018Wrote 4 papers:
- ESOP-2018-XieBO #consistency #type system
- Consistent Subtyping for All (NX, XB, BCdSO), pp. 3–30.
- ESOP-2019-BiXOS #composition #morphism #polymorphism #programming
- Distributive Disjoint Polymorphism for Compositional Programming (XB, NX, BCdSO, TS), pp. 381–409.
- ECOOP-2018-BiO
- Typed First-Class Traits (XB, BCdSO), p. 28.
- ECOOP-2018-BiOS #composition
- The Essence of Nested Composition (XB, BCdSO, TS), p. 33.