Object-Oriented Programming A Unified Foundation
Giuseppe Castagna · Birkhäuser Boston eBooks · 1997
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphism has been the subject of extensive stu