Subtyping and parametricity.In (1994)

by G Plotkin, M Abadi, L Cardelli
Venue:Proc. of 9th Ann. IEEE Symp. on Logic in Computer Science, LICS'94