Formal Parametric Polymorphism

Luca Cardelli
Pierre-Louis Curien
Theor. Comput. Sci., 121 (1993), pp. 9-58

Abstract