**Xuan Bi**

Latest

• Distributive Disjoint Polymorphism for Compositional Programming
• Consistent Subtyping for All
• Disjoint Intersection Types: Theory and Practice
• The Essence of Nested Composition
• The Essence of Nested Composition
• Typed First-Class Traits
• Typed First-Class Traits
• Consistent Subtyping for All
• Consistent Subtyping for All
• Unified Syntax with Iso-Types
• Memory-efficient Tail Calls in the JVM with Imperative Functional Objects
• BioTCM-SE: a semantic search engine for the information retrieval of modern biology and traditional Chinese medicine