Efficient Recursive Subtyping.

Dexter Kozen, Jens Palsberg, Michael I. Schwartzbach

Browse the full POPL paper archive.