Subtyping and Parametricity

Gordon D. Plotkin, Martn Abadi, Luca Cardelli

Browse the full LICS paper archive.