Home

WorldCat Home About WorldCat Help Get E-mail Updates Feedback

Search

Search for Library Items Search for Lists Search for Contacts Search for a Library

Create lists, bibliographies and reviews: or

<< Return to Search Results

Cite/Export

Cite/Export

Copy a citation

APA (6th ed.)

Chicago (Author-Date, 15th ed.)

Harvard (18th ed.)

MLA (7th ed.)

Turabian (6th ed.)

Export a citation
Export to RefWorks Export to EndNote Export to EasyBib Cancel
Note: Citations are based on reference standards. However, formatting rules can vary widely between applications and fields of interest or study. The specific requirements or preferences of your reviewing publisher, classroom teacher, institution or organization should be applied.
Print
E-mail

E-mail

All fields are required.

The E-mail Address(es) field is required. Please enter recipient e-mail address(es).

The E-mail Address(es) you entered is(are) not in a valid format. Please re-enter recipient e-mail address(es).

You may send this item to up to five recipients.
Enter recipient e-mail address(es): Separate up to five addresses with commas (,)
The name field is required. Please enter your name.
Enter your name: Subject:
The E-mail message field is required. Please enter the message.
E-mail Message: I thought you might be interested in this item at http://www.worldcat.org/oclc/28547250 Title: Theoretical aspects of object-oriented programming : types, semantics, and language design Author: Carl A Gunter; John C Mitchell Publisher: Cambridge, Mass. : MIT Press, ©1994. ISBN/ISSN: 026207155X 9780262071550 OCLC:28547250

The ReCaptcha terms you entered were incorrect. Please try to match the 2 words shown in the window, or try the audio version.

Cancel
Share
Permalink

Permalink

Copy this URL to link to this page:

Write a review
Rate this item:
- 1
- 2
- 3
- 4
- 5

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

Preview this item

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

Author:	Carl A Gunter; John C Mitchell
Publisher:	Cambridge, Mass. : MIT Press, ©1994.
Series:	Foundations of computing.
Edition/Format:	Book : EnglishView all editions and formats
Rating:	(not yet rated) 0 with reviews - Be the first.

Borrow / obtain a copy

Find a copy in the library

Finding libraries that hold this item...

Details

Document Type:	Book
All Authors / Contributors:	Carl A Gunter; John C Mitchell Find more information about:
ISBN:	026207155X 9780262071550
OCLC Number:	28547250
Description:	548 p. : ill. ; 24 cm.
Contents:	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 Ré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 Ré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.
Series Title:	Foundations of computing.
Responsibility:	edited by Carl A. Gunter and John C. Mitchell.

Reviews

User-contributed reviews

You:	Sign In \| Register \| My WorldCat \| My Lists \| My Watchlist \| My Reviews \| My Tags \| My Saved Searches
WorldCat:	Home \| About \| Help \| Get E-mail Updates \| Feedback \| Search

More like this

Subjects

User lists

Similar Items