Title: A theory of objects
First published: 1996
Description: The authors take a novel approach to understanding object-oriented languages by introducing object calculi and developing a theory of objects around them.  The book covers both the semantics of objects and their typing rules, and explains a range of object-oriented concepts, such as self, dynamic dispatch, classes, inheritance, prototyping, subtyping, covariance and contravariance, and method specialization.  (From back-cover copy)
Subjects: Object-oriented programming (Computer science)
LC classification: QA76.64 .A22 1996