Object-oriented programming has emerged as the dominant computer programming style, and object-oriented languages such as C++ and Java are immensely popular with academics and industry professionals.

This book provides a comprehensive description of the foundations of statically typed class-based object-oriented programm-ing languages. It begins by analyzing existing object-oriented languages, paying special attention to their type systems and impedi-ments to expressiveness. The text then examines two key features: subtypes and subclasses. After a brief introduction to the lambda calculus, it presents a prototypical object-oriented language, SOOL, a simple type system which is similar to systems of class-based object-oriented languages in common use. The text concludes with a discussion of features, such as parametric polymorphism and MyType construct, which are not yet included in most statically typed object-oriented languages.

This book, which treats a subject of current interest, should prove highly useful to students of computer science and IT as well as to professionals in the field.