Consistent Subtyping for All.

Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira

Browse the full ESOP paper archive.