A logic for parametric polymorphism (0)

by G D Plotkin, M Abadi
Venue:Proc. International Conference on Typed Lambda Calculi and Applications