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