A logic for parametric polymorphism (1993)

by G Plotkin, M Abadi
Venue:In TLCA’93