Consistent Subtyping for All. - NINGNING XIE; XUAN BI; OLIVEIRA, BRUNO C. D. S.; SCHRIJVERS, TOM (ACM Transactions on Programming Languages & Systems, 2020)