Follow
Xuan Bi
Title
Cited by
Cited by
Year
Consistent subtyping for all
N Xie, X Bi, BCS Oliveira
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
452018
The Essence of Nested Composition
X Bi, BCS Oliveira, T Schrijvers
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
302018
Distributive disjoint polymorphism for compositional programming
X Bi, N Xie, BCS Oliveira, T Schrijvers
European Symposium on Programming, 381-409, 2019
262019
Typed First-Class Traits
X Bi, BCS Oliveira
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
252018
Row and bounded polymorphism via disjoint polymorphism
N Xie, BCS Oliveira, X Bi, T Schrijvers
34th European Conference on Object-Oriented Programming (ECOOP 2020), 2020
112020
BioTCM‐SE: A Semantic Search Engine for the Information Retrieval of Modern Biology and Traditional Chinese Medicine
X Chen, H Chen, X Bi, P Gu, J Chen, Z Wu
Computational and mathematical methods in medicine 2014 (1), 957231, 2014
92014
Unified syntax with iso-types
Y Yang, X Bi, BCS Oliveira
Asian Symposium on Programming Languages and Systems, 251-270, 2016
62016
Memory-Efficient tail calls in the JVM with imperative functional objects
T Tauber, X Bi, Z Shi, W Zhang, H Li, Z Zhang, BCDS Oliveira
Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015
52015
Disjoint intersection types: theory and practice
X Bi
HKU Theses Online (HKUTO), 2018
12018
Research Article BioTCM-SE: A Semantic Search Engine for the Information Retrieval of Modern Biology and Traditional Chinese Medicine
X Chen, H Chen, X Bi, P Gu, J Chen, Z Wu
The system can't perform the operation now. Try again later.
Articles 1–10