A logic for parametric polymorphism (1993)

by Gordon Plotkin, Martn Abadi
Venue:In Theoretical Computer Science