Loading...
Please wait, while we are loading the content...
Similar Documents
Theoretical aspects of object-oriented programming: types, semantics, and language design
| Content Provider | Semantic Scholar |
|---|---|
| Author | Gunter, Carl A. Mitchell, John C. |
| Copyright Year | 1994 |
| Abstract | Part 1 Objects and subtypes: user-defined types and procedural data structures as complementary approaches to data abstraction, John C. Reynolds using category theory to design implicit conversions and generic operators, John C. Reynolds. Part 2 Type inference: type inference for records in a natural extension of ML, Didier Remy type inference for objects with instance variables and inheritance, Mitchell Wand static type inference for parametric classes, Atsushi Ohori and Peter Buneman. Part 3 Coherence: a modest model of records, inheritance, and bounded quantification, Kim B. Bruce and Giuseppe Longo inheritance as implicit coercion, Val Breazu-Tannen et al coherence of subsumption, minimum typing and type-checking in F<, Pierre-Louis Curien and Giorgio Ghelli. Part 4 Record calculi: operations on records, Luca Cardelli and John C. Mitchell typing record concatenation for free, Didier Remy extensible records in a pure calculus of subtyping, Luca Cardelli bounded quantification is undecidable, Benjamin C. Pierce. Part 5 Inheritance: two semantic models of object-oriented languages, Samuel N. Kamin and Uday S. Reddy inheritance is not subtyping, William R. Cook et al toward a typed foundation for method specialization and inheritance, John C. Mitchell. |
| Starting Page | 548 |
| Ending Page | 548 |
| Page Count | 1 |
| File Format | PDF HTM / HTML |
| DOI | 10.5860/choice.32-3941 |
| Alternate Webpage(s) | https://doi.org/10.5860/choice.32-3941 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |
