On Subtyping and Matching.

Martn Abadi, Luca Cardelli

Browse the full ECOOP paper archive.