Formal Parametric Polymorphism

Martín Abadi, Luca Cardelli, Pierre-Louis Curien. Formal Parametric Polymorphism. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. pages 157-170, 1993.

Abstract

Abstract is missing.