A Model for Formal Parametric Polymorphism: A PER Interpretation for System R. - Roberto Bellucci; Martín Abadi; Pierre-Louis Curien (TLCA, 1995)