GPC Mar 6, 2019 Code Haskell implementation of Gradually Polymorphic Calculus gradual-typing haskell Xuan Bi Quantitative Developer Quantitative developer at Standard Chartered (Hong Kong) Publications Consistent Subtyping for All Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha … Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira, Tom Schrijvers PDF Cite Project Consistent Subtyping for All Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha … Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira PDF Cite Project Slides
