Formal Parametric Polymorphism.

Martn Abadi, Luca Cardelli, Pierre-Louis Curien

Browse the full POPL paper archive.