Theoretical aspects of object-oriented programming: types, semantics, and language design
Carl A. Gunter, John C. Mitchell, John C. Mitchell, Michael Garey, Albert Meyer, Naoki Katoh · Choice Reviews Online · 1995
ion. John C. Reynolds 13 2 Using Category Theory to Design Implicit Conversions and Generic Operators. John C. Reynolds 14 II Type Inference 15 3 Type Inference for Records in a Natural Extension of ML. Didier R'emy 16 4 Type Inference for Objects with Instance Variables and Inheritance. Mitchell Wand 17 5 Static Type Inference for Parametric Classes. Atsushi Ohori and Peter Buneman 18 III Coherence 19 6 A Modest Model of Records, Inheritance and Bounded Quantification. Kim Bruce and Guiseppe Longo 20 v CONTENTS vi 7 Inheritance as Implicit Coercion. Val Breazu-Tannen, Thierry Coquand, Carl A. Gunter, and Andre Scedrov 21 8 Coherence of Subsumption, Minimum Typing and Type-Checking in F . Pierre-Louis Curien and Giorgio Ghelli 22 IV Record Calculi 23 9 Operations on Records. Luca Cardelli and John C. Mitchell 24 10 Typing Record Concatenation for Free. Didier R'emy 25 11 Extensible Records in a Pure Calculus of Subtyping. Luca Cardelli 26 12 Bounded Quantification is Unde...