Xuan Bi
Xuan Bi
The University of Hong Kong
Bestätigte E-Mail-Adresse bei cs.hku.hk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Consistent subtyping for all
N Xie, X Bi, BCS Oliveira
European Symposium on Programming, 3-30, 2018
242018
The Essence of Nested Composition
X Bi, BCS Oliveira, T Schrijvers
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
122018
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, 2014
62014
Distributive disjoint polymorphism for compositional programming
X Bi, N Xie, BCS Oliveira, T Schrijvers
European Symposium on Programming, 381-409, 2019
52019
Typed First-Class Traits
X Bi, BCS Oliveira
32nd European Conference on Object-Oriented Programming (ECOOP 2018), 2018
42018
Unified syntax with iso-types
Y Yang, X Bi, BCS Oliveira
Asian Symposium on Programming Languages and Systems, 251-270, 2016
32016
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
Asian Symposium on Programming Languages and Systems, 11-28, 2015
32015
Disjoint intersection types: theory and practice
X Bi
HKU Theses Online (HKUTO), 2018
12018
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
2020
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9