The first-order theory of subtyping constraints.

Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, Ralf Treinen

Browse the full POPL paper archive.