| Consistent subtyping for all N Xie, X Bi, BCS Oliveira Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 46 | 2018 |
| The Essence of Nested Composition X Bi, BCS Oliveira, T Schrijvers 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 30 | 2018 |
| Distributive disjoint polymorphism for compositional programming X Bi, N Xie, BCS Oliveira, T Schrijvers European Symposium on Programming, 381-409, 2019 | 26 | 2019 |
| Typed First-Class Traits X Bi, BCS Oliveira 32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018 | 25 | 2018 |
| 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 | 11 | 2020 |
| 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 | 9 | 2014 |
| Unified syntax with iso-types Y Yang, X Bi, BCS Oliveira Asian Symposium on Programming Languages and Systems, 251-270, 2016 | 6 | 2016 |
| 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 | 5 | 2015 |
| Disjoint intersection types: theory and practice X Bi HKU Theses Online (HKUTO), 2018 | 1 | 2018 |
| 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 | | |
Bruno C. d. S. OliveiraAssociate Professor, The University of Hong KongVerified email at cs.hku.hk
