The first-order theory of subtyping constraints (0)

by Z Su, A Aiken, J Niehren, T Priesnitz, R Treinen
Venue:In POPL’02