Researcher profile

Ningning Xie

1 paper in the PaperMetrix corpus

Publications

Papers by this author

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 …