Typed First-Class Traits (Jeremy) Xuan Bi Jul 19, 2018 Project Slides disjoint-intersection-type type-system (Jeremy) Xuan Bi Quantitative Developer Quantitative developer at Standard Chartered (Hong Kong) Related Typed First-Class Traits Distributive Disjoint Polymorphism for Compositional Programming Row and Bounded Polymorphism via Disjoint Polymorphism The Essence of Nested Composition The Essence of Nested Composition