Ningning Xie

Consistent Subtyping for All

2019 · ACM Transactions on Programming Languages and Systems

Consistent subtyping is employed in some gradual type systems to validate type conversions. The original definition by Siek and Taha serves as a guideline for designing gradual type systems with subtyping. Polymorphic types à la …