Types, Abstractions, and Parametric Polymorphism, Part 2. - QingMing Ma; John C. Reynolds (MFPS, 1991)

Parametricity as Subtyping. - QingMing Ma (POPL, 1992)