MIT Press - Foundations of Object-Oriented Languages Types and Semantics 026202523X.pdf......Page 0
Contents......Page 8
List of Figures......Page 12
Preface......Page 16
Part I Type Problems in Object-Oriented Languages......Page 22
Introduction......Page 24
Fundamental Concepts of Object- Oriented Languages......Page 38
Type Problems in Object- Oriented Languages......Page 54
Adding Expressiveness to Object- Oriented Languages......Page 70
Understanding Subtypes......Page 92
Type Restrictions on Subclasses......Page 110
Varieties of Object- Oriented Programming Languages......Page 116
Historical Notes and References for Section I......Page 134
Part I I Foundations: The Lambda Calculus......Page 138
and the Lambda Calculus......Page 140
Calculus......Page 162
Historical Notes and References for Section II......Page 188
Part I I I Formal Descriptions of Object-Oriented Languages......Page 192
SOOL, a Simple Object- Oriented Language......Page 194
A Simple Translational Semantics of Objects and Classes......Page 222
Improved Semantics for Classes......Page 246
SOOLยกยฏ s Type System Is Safe (and Sound)......Page 260
Completing SOOL: super, nil, information Hiding, and Multiple Inheritance......Page 284
Historical Notes and References for Section III......Page 304
Part IV Extending Simple Object-Oriented Languages......Page 310
Adding Bounded Polymorphism to SOOL......Page 312
Adding MyType to Object- Oriented Programming Languages......Page 320
Match- Bounded Polymorphism......Page 352
Simplifying: Dropping Subtyping for Matching......Page 370
Historical Notes and References for Section IV......Page 384
Bibliography......Page 388
Index......Page 400