Formal Parametric Polymorphism (1993)

by Martin Abadi , Luca Cardelli, Pierre-Louis Curien
Venue:THEORETICAL COMPUTER SCIENCE