Positive Subtyping

Martin Hofmann, Benjamin C. Pierce. Positive Subtyping. In POPL. pages 186-197, 1995.

Abstract

Abstract is missing.