Contents
Series Forward vii
Introduction 1
I Objects and Subtypes
1. User-Defined Types and Procedural Data Structures as
Complementary Approaches to Data Abstraction 13
John C. Reynolds
2. Using Category Theory to Design Implicit Conversions
and Generic Operators 25
John C. Reynolds
II Type Inference 65
3. Type Inference for Records in a Natural Extension of ML
Didier Re'my 67
4. Type Inference for Objects with Instance Variables and
Inheritance.
Mitchell Wand 97
5. Static Type Inference for Parametric Classes
Atsushi Ohori and Peter Buneman 121
III Coherence 149
6. A Modest Model of Records, Inheritance and
Bounded Quantification
Kim Bruce and Guiseppe Longo 151
7. Inheritance as Implicit Coercion
Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter,
and Andre Scedrov 197
8. Coherence of Subsumption, Minimum Typing and
Type-Checking in F<=
Pierre-Louis Curien and Giorgio Ghelli 247
IV Record Calculi 293
9. Operations on Records
Luca Cardelli and John C. Mitchell 295
10. Typing Record Concatenation for Free
Didier Re'my 351
11. Extensible Records in a Pure Calculus of Subtyping
Luca Cardelli 373
12. Bounded Quantification is Undecidable
Benjamin C. Pierce 427
V Inheritance 461
13. Two Semantic Models of Object-Oriented Languages
Sam Kamin and Uday Reddy 463
14. Inheritance is Not Subtyping
William R. Cook, Walter L. Hill and Peter S. Canning 497
15. Toward a Typed Foundation for Method Specialization
and Inheritance
John C. Mitchell 519
Contributors 547
· · · · · · (收起)