电子书免费下载 Foundations of Object-Oriented Languages Types and Semantics

I wrote this book to provide a description of the foundations of statically

typed class-based object-oriented programming languages for those inter-

ested in learning about this area. An important goal is to explain how the

different components of these languages interact, and how this results in

the kind of type systems that are used in popular object-oriented languages.

We will see that an understanding of the theoretical foundations of object-

oriented languages can lead to the design of more expressive and