A model for formal parametric polymorphism: A PER interpretation for System R (1995)

by R Bellucci, M Abadi, P-L Curien
Venue:In Typed Lambda Calculi and Applications - TLCA '95, LNCS