Consistent Subtyping for All (Jeremy) Xuan Bi Apr 16, 2018 Project Slides gradual-typing type-system (Jeremy) Xuan Bi Quantitative Developer Quantitative developer at Standard Chartered (Hong Kong) Related Consistent Subtyping for All Consistent Subtyping for All Disjoint Intersection Types: Theory and Practice Distributive Disjoint Polymorphism for Compositional Programming Memory-efficient Tail Calls in the JVM with Imperative Functional Objects
