Publications | Xuan (Jeremy) Bi

Ningning Xie, Bruno C. d. S. Oliveira, Xuan Bi, Tom Schrijvers (2020). Row and Bounded Polymorphism via Disjoint Polymorphism. In ECOOP 2020.

Xuan Bi, Ningning Xie, Bruno C. d. S. Oliveira, Tom Schrijvers (2019). Distributive Disjoint Polymorphism for Compositional Programming. In ESOP 2019.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers (2019). Consistent Subtyping for All. In TOPLAS.

Xuan Bi (2018). Disjoint Intersection Types: Theory and Practice. The University of Hong Kong (Pokfulam, Hong Kong).

Xuan Bi, Bruno C. d. S. Oliveira (2018). Typed First-Class Traits. In ECOOP 2018.

Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers (2018). The Essence of Nested Composition. In ECOOP 2018.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira (2018). Consistent Subtyping for All. In ESOP 2018.

Yanpeng Yang, Xuan Bi, Bruno C. d. S. Oliveira (2016). Unified Syntax with Iso-Types. In APLAS 2016.

Tomas Tauber, Xuan Bi, Zhiyuan Shi, Weixin Zhang, Huang Li, Zhenrui Zhang, Bruno C. d. S. Oliveira (2015). Memory-efficient Tail Calls in the JVM with Imperative Functional Objects. In APLAS 2015.

Xi Chen, Huajun Chen, Xuan Bi, Peiqin Gu, Jiaoyan Chen, Zhaohui Wu (2014). BioTCM-SE: a semantic search engine for the information retrieval of modern biology and traditional Chinese medicine. In Computational and mathematical methods in medicine.