Formal Parametric Polymorphism

Luca Cardelli
Pierre-Louis Curien
POPL (1993), pp. 157-170

Abstract