skip to content
Object-Oriented Programming A Unified Foundation Preview this item
ClosePreview this item
Checking...

Object-Oriented Programming A Unified Foundation

Author: Giuseppe Castagna
Publisher: Boston, MA : Birkhäuser Boston, 1996.
Series: Progress in theoretical computer science.
Edition/Format:   eBook : Bibliographic data : EnglishView all editions and formats
Summary:

by Luea Cardelli Ever since Strachey's work in the 1960's, polymorphism has been classified into the parametric and overloading varieties.

Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Additional Physical Format: Printed edition:
Material Type: Bibliographic data, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Giuseppe Castagna
ISBN: 9781461241386 1461241383 9781461286707 1461286700 0817639055 9780817639051 3764339055 9783764339050
OCLC Number: 840279585
Description: 1 online resource (384 pages).
Contents: I Introduction --
1 Background and notation --
2 A quick overview --
II Simple typing --
3 Object-oriented programming --
4 The? & -calculus --
5 Covariance and contravariance: conflict without a cause --
6 Strong Normalization --
7 Three variations on the theme --
8 Interpretation of object-oriented languages --
9 Imperative features and other widgets --
10 Semansttics --
III Second order --
11 Introduction to part III --
12 Second order overloading --
13 Second order overloading and object-oriented programming --
14 Conclusion --
IV Appendixes --
A Specification of KOOL --
A.1 Terms --
A.2 Pretypes --
A.3 Subtyping --
A.4 Auxiliary Notation --
A.5 Typing Rules --
B Formal definition of the translation --
B.1 Without mutually recursive methods --
B.2 With recursive methods --
B.3 Overloaded functions --
B.4 Correctness of the type-checking.
Series Title: Progress in theoretical computer science.
Responsibility: by Giuseppe Castagna.

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

Related Subjects:(1)

Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/840279585> # Object-Oriented Programming A Unified Foundation
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "840279585" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/807141984#Place/boston_ma> ; # Boston, MA
   rdfs:comment "Unknown 'gen' value: bdt" ;
   schema:about <http://dewey.info/class/004/e23/> ;
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:bookFormat schema:EBook ;
   schema:creator <http://viaf.org/viaf/245186509> ; # Giuseppe Castagna
   schema:datePublished "1996" ;
   schema:description "I Introduction -- 1 Background and notation -- 2 A quick overview -- II Simple typing -- 3 Object-oriented programming -- 4 The? & -calculus -- 5 Covariance and contravariance: conflict without a cause -- 6 Strong Normalization -- 7 Three variations on the theme -- 8 Interpretation of object-oriented languages -- 9 Imperative features and other widgets -- 10 Semansttics -- III Second order -- 11 Introduction to part III -- 12 Second order overloading -- 13 Second order overloading and object-oriented programming -- 14 Conclusion -- IV Appendixes -- A Specification of KOOL -- A.1 Terms -- A.2 Pretypes -- A.3 Subtyping -- A.4 Auxiliary Notation -- A.5 Typing Rules -- B Formal definition of the translation -- B.1 Without mutually recursive methods -- B.2 With recursive methods -- B.3 Overloaded functions -- B.4 Correctness of the type-checking."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/807141984> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/807141984#Series/progress_in_theoretical_computer_science> ; # Progress in theoretical computer science.
   schema:isSimilarTo <http://worldcat.org/entity/work/data/807141984#CreativeWork/> ;
   schema:name "Object-Oriented Programming A Unified Foundation"@en ;
   schema:productID "840279585" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/840279585#PublicationEvent/boston_ma_birkhauser_boston_1996> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/807141984#Agent/birkhauser_boston> ; # Birkhäuser Boston
   schema:url <http://dx.doi.org/10.1007/978-1-4612-4138-6> ;
   schema:url <http://public.eblib.com/choice/publicfullrecord.aspx?p=3075610> ;
   schema:url <https://link.springer.com/openurl?genre=book&isbn=978-0-8176-3905-1> ;
   schema:workExample <http://dx.doi.org/10.1007/978-1-4612-4138-6> ;
   schema:workExample <http://worldcat.org/isbn/9781461286707> ;
   schema:workExample <http://worldcat.org/isbn/9781461241386> ;
   schema:workExample <http://worldcat.org/isbn/9783764339050> ;
   schema:workExample <http://worldcat.org/isbn/9780817639051> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/840279585> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/807141984#Agent/birkhauser_boston> # Birkhäuser Boston
    a bgn:Agent ;
   schema:name "Birkhäuser Boston" ;
    .

<http://experiment.worldcat.org/entity/work/data/807141984#Series/progress_in_theoretical_computer_science> # Progress in theoretical computer science.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/840279585> ; # Object-Oriented Programming A Unified Foundation
   schema:name "Progress in theoretical computer science." ;
   schema:name "Progress in Theoretical Computer Science" ;
    .

<http://id.worldcat.org/fast/872451> # Computer science
    a schema:Intangible ;
   schema:name "Computer science"@en ;
    .

<http://viaf.org/viaf/245186509> # Giuseppe Castagna
    a schema:Person ;
   schema:familyName "Castagna" ;
   schema:givenName "Giuseppe" ;
   schema:name "Giuseppe Castagna" ;
    .

<http://worldcat.org/entity/work/data/807141984#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/840279585> ; # Object-Oriented Programming A Unified Foundation
    .

<http://worldcat.org/isbn/9780817639051>
    a schema:ProductModel ;
   schema:isbn "0817639055" ;
   schema:isbn "9780817639051" ;
    .

<http://worldcat.org/isbn/9781461241386>
    a schema:ProductModel ;
   schema:isbn "1461241383" ;
   schema:isbn "9781461241386" ;
    .

<http://worldcat.org/isbn/9781461286707>
    a schema:ProductModel ;
   schema:isbn "1461286700" ;
   schema:isbn "9781461286707" ;
    .

<http://worldcat.org/isbn/9783764339050>
    a schema:ProductModel ;
   schema:isbn "3764339055" ;
   schema:isbn "9783764339050" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.