Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005320656/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b7510924.
- catalog contributor b7510925.
- catalog created "c1994.".
- catalog date "1994".
- catalog date "c1994.".
- catalog dateCopyrighted "c1994.".
- catalog description "Includes bibliographical references.".
- catalog description "User-defined types and procedural data structures as complementary approaches to data abstraction ; Using category theory to design implicit conversions and generic operators / John C. Reynolds -- Type inference for records in a natural extension of ML / Didier Rémy -- Type inference for objects with instance variables and inheritance / Mitchell Wand -- Static type inference for parametric classes / Atsushi Ohori and Peter Buneman -- A modest model of records, inheritance, and bounded quantification / Kim B. Bruce and Giuseppe Longo -- Inheritance as implicit coercion / Val Breazu-Tannen [and others] -- Coherence of subsumption, minimum typing and type-checking in F[less than or equal to] / Pierre-Louis Curien and Giorgio Ghelli -- Operations on records / Luca Cardelli and John C. Mitchell -- Typing record concatenation for free / Didier Rémy -- Extensible records in a pure calculus of subtyping / Luca Cardelli -- Bounded quantification is undecidable / Benjamin C. Pierce -- Two semantic models of object-oriented languages / Samuel N. Kamin and Uday S. Reddy -- Inheritance is not subtyping / William R. Cook, Walter L. Hill, and Peter S. Canning -- Toward a typed foundation for method specialization and inheritance / John C. Mitchell.".
- catalog extent "548 p. :".
- catalog identifier "026207155X".
- catalog isPartOf "Foundations of computing".
- catalog issued "1994".
- catalog issued "c1994.".
- catalog language "eng".
- catalog publisher "Cambridge, Mass. : MIT Press,".
- catalog subject "005.1 20".
- catalog subject "Object-oriented programming (Computer science)".
- catalog subject "Programming languages (Electronic computers)".
- catalog subject "QA76.64 .T49 1994".
- catalog tableOfContents "User-defined types and procedural data structures as complementary approaches to data abstraction ; Using category theory to design implicit conversions and generic operators / John C. Reynolds -- Type inference for records in a natural extension of ML / Didier Rémy -- Type inference for objects with instance variables and inheritance / Mitchell Wand -- Static type inference for parametric classes / Atsushi Ohori and Peter Buneman -- A modest model of records, inheritance, and bounded quantification / Kim B. Bruce and Giuseppe Longo -- Inheritance as implicit coercion / Val Breazu-Tannen [and others] -- Coherence of subsumption, minimum typing and type-checking in F[less than or equal to] / Pierre-Louis Curien and Giorgio Ghelli -- Operations on records / Luca Cardelli and John C. Mitchell -- Typing record concatenation for free / Didier Rémy -- Extensible records in a pure calculus of subtyping / Luca Cardelli -- Bounded quantification is undecidable / Benjamin C. Pierce -- Two semantic models of object-oriented languages / Samuel N. Kamin and Uday S. Reddy -- Inheritance is not subtyping / William R. Cook, Walter L. Hill, and Peter S. Canning -- Toward a typed foundation for method specialization and inheritance / John C. Mitchell.".
- catalog title "Theoretical aspects of object-oriented programming : types, semantics, and language design / edited by Carl A. Gunter and John C. Mitchell.".
- catalog type "text".