Object-Oriented Programming A Unified Foundation
by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties.
1 online resource (384 pages)
9781461241386, 9781461286707, 9780817639051, 9783764339050, 1461241383, 1461286700, 0817639055, 3764339055
840279585
Printed edition:
I Introduction
1 Background and notation
2 A quick overview
II Simple typing
3 Object-oriented programming
4 The? & -calculus
5 Covariance and contravariance: conflict without a cause
6 Strong Normalization
7 Three variations on the theme
8 Interpretation of object-oriented languages
9 Imperative features and other widgets
10 Semansttics
III Second order
11 Introduction to part III
12 Second order overloading
13 Second order overloading and object-oriented programming
14 Conclusion
IV Appendixes
A Specification of KOOL
A.1 Terms
A.2 Pretypes
A.3 Subtyping
A.4 Auxiliary Notation
A.5 Typing Rules
B Formal definition of the translation
B.1 Without mutually recursive methods
B.2 With recursive methods
B.3 Overloaded functions
B.4 Correctness of the type-checking