Semantics of Parametric Polymorphism in Imperative Programming Languages

by Brian P. Dunphy , Uday S. Reddy