aller au contenu
Fermer la fenêtre

Veuillez vous identifier dans WorldCat 

Vous n’avez pas de compte? Vous pouvez facilement créer un compte gratuit.

Annuler Mot de passe oublié?
Theoretical aspects of object-oriented programming : types, semantics, and language design
FermerAperçu de cet ouvrage

Theoretical aspects of object-oriented programming : types, semantics, and language design

Auteur : Carl A Gunter; John C Mitchell
Éditeur : Cambridge, Mass. : MIT Press, ©1994.
Collection : Foundations of computing
Édition/format : Livre : AnglaisVoir toutes les éditions et les formats
Évaluation :

 

 

Trouver un exemplaire dans la bibliothèque

Récupération en cours... Recherche de bibliothèques qui possèdent cet ouvrage...

Détails

Type de document : Livre
Tous les auteurs / collaborateurs : Carl A Gunter; John C Mitchell
ISBN : 026207155X 9780262071550
Numéro OCLC : 28547250
Description : 548 p. : ill. ; 24 cm.
Contenu : 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 ... [et al.] -- 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.
Titre de collection : Foundations of computing
Responsabilité : edited by Carl A. Gunter and John C. Mitchell.

Critiques


Tags

Soyez le premier.
Confirmez cette demande

Vous avez peut-être déjà demandé cet ouvrage. Veuillez sélectionner OK si vous voulez poursuivre avec cette demande quand même.