A logic for parametric polymorphism (1993)

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