Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties. Parametric polymorphi
By developing object calculi in which objects are treated as primitives, the authors are able to explain both the semantics of objects and their typing rules, a
A presentation of the formal underpinnings of object-oriented programming languages.
