skip to content
Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings Preview this item
ClosePreview this item
Checking...

Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings

Author: G Kahn; D B MacQueen; G Plotkin
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1984.
Series: Lecture notes in computer science, 173.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Publication:Springer e-books.
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
Congrès
Additional Physical Format: Printed edition:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: G Kahn; D B MacQueen; G Plotkin
ISBN: 9783540133469 3540133461 9783540388913 3540388915
OCLC Number: 793075109
Description: 1 online resource : v.: digital.
Contents: A kernel language for abstract data types and modules --
A semantics of multiple inheritance --
Understanding Russell a first attempt --
A basic Abstract Semantic Algebra --
Using information systems to solve reoursive domain equations effectively --
The semantics of second order polymorphic lambda calculus --
Polymorphism is not set-theoretic --
A theory of data type representation independence --
Abstract data types and their extensions within a constructive logic --
Deriving structural induction in LCF --
Executable specification of static semantics --
Cartesian closed categories of enumerations for effective type structures --
Type inference and type containment --
F-semantics for intersection type discipline --
The typechecking of programs with implicit type structure --
Partial implementations of abstract data types: A dissenting view on errors --
Building specifications in an arbitrary institution --
A proof system for verifying composability of abstract implementations --
Towards a proof theory of parameterized specifications.
Series Title: Lecture notes in computer science, 173.
Responsibility: by G. Kahn, D.B. MacQueen, G. Plotkin.

Reviews

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

Tags

Be the first.
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/793075109> # Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
    a schema:Book, schema:CreativeWork, schema:MediaObject ;
   library:oclcnum "793075109" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/792919803#Place/berlin_heidelberg> ; # Berlin, Heidelberg
   schema:about <http://dewey.info/class/005.131/e23/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/792919803#Topic/structures_de_donnees_informatique> ; # Structures de données (Informatique)
   schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
   schema:about <http://experiment.worldcat.org/entity/work/data/792919803#Topic/langages_de_programmation_semantique> ; # Langages de programmation--Sémantique
   schema:bookFormat schema:EBook ;
   schema:contributor <http://viaf.org/viaf/91978626> ; # David B. MacQueen
   schema:contributor <http://viaf.org/viaf/81146152> ; # G. Plotkin
   schema:creator <http://viaf.org/viaf/9967954> ; # G. Kahn
   schema:datePublished "1984" ;
   schema:description "A kernel language for abstract data types and modules -- A semantics of multiple inheritance -- Understanding Russell a first attempt -- A basic Abstract Semantic Algebra -- Using information systems to solve reoursive domain equations effectively -- The semantics of second order polymorphic lambda calculus -- Polymorphism is not set-theoretic -- A theory of data type representation independence -- Abstract data types and their extensions within a constructive logic -- Deriving structural induction in LCF -- Executable specification of static semantics -- Cartesian closed categories of enumerations for effective type structures -- Type inference and type containment -- F-semantics for intersection type discipline -- The typechecking of programs with implicit type structure -- Partial implementations of abstract data types: A dissenting view on errors -- Building specifications in an arbitrary institution -- A proof system for verifying composability of abstract implementations -- Towards a proof theory of parameterized specifications."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/792919803> ;
   schema:genre "Electronic books"@en ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://worldcat.org/issn/0302-9743> ; # Lecture notes in computer science ;
   schema:isSimilarTo <http://worldcat.org/entity/work/data/792919803#CreativeWork/> ;
   schema:name "Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings"@en ;
   schema:productID "793075109" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/793075109#PublicationEvent/berlin_heidelberg_springer_berlin_heidelberg_1984> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/792919803#Agent/springer_berlin_heidelberg> ; # Springer Berlin Heidelberg
   schema:url <http://dx.doi.org/10.1007/3-540-13346-1> ;
   schema:url <http://link.springer.com/10.1007/3-540-13346-1> ;
   schema:url <http://link.springer.com/openurl?genre=book&isbn=978-3-540-13346-9> ;
   schema:workExample <http://worldcat.org/isbn/9783540388913> ;
   schema:workExample <http://dx.doi.org/10.1007/3-540-13346-1> ;
   schema:workExample <http://worldcat.org/isbn/9783540133469> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/793075109> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/792919803#Agent/springer_berlin_heidelberg> # Springer Berlin Heidelberg
    a bgn:Agent ;
   schema:name "Springer Berlin Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/792919803#Place/berlin_heidelberg> # Berlin, Heidelberg
    a schema:Place ;
   schema:name "Berlin, Heidelberg" ;
    .

<http://experiment.worldcat.org/entity/work/data/792919803#Topic/langages_de_programmation_semantique> # Langages de programmation--Sémantique
    a schema:Intangible ;
   schema:name "Langages de programmation--Sémantique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/792919803#Topic/structures_de_donnees_informatique> # Structures de données (Informatique)
    a schema:Intangible ;
   schema:name "Structures de données (Informatique)"@fr ;
    .

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

<http://viaf.org/viaf/81146152> # G. Plotkin
    a schema:Person ;
   schema:familyName "Plotkin" ;
   schema:givenName "G." ;
   schema:name "G. Plotkin" ;
    .

<http://viaf.org/viaf/91978626> # David B. MacQueen
    a schema:Person ;
   schema:birthDate "1946" ;
   schema:familyName "MacQueen" ;
   schema:givenName "David B." ;
   schema:givenName "D. B." ;
   schema:name "David B. MacQueen" ;
    .

<http://viaf.org/viaf/9967954> # G. Kahn
    a schema:Person ;
   schema:familyName "Kahn" ;
   schema:givenName "G." ;
   schema:name "G. Kahn" ;
    .

<http://worldcat.org/entity/work/data/792919803#CreativeWork/>
    a schema:CreativeWork ;
   schema:description "Printed edition:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/793075109> ; # Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
    .

<http://worldcat.org/isbn/9783540133469>
    a schema:ProductModel ;
   schema:isbn "3540133461" ;
   schema:isbn "9783540133469" ;
    .

<http://worldcat.org/isbn/9783540388913>
    a schema:ProductModel ;
   schema:isbn "3540388915" ;
   schema:isbn "9783540388913" ;
    .

<http://worldcat.org/issn/0302-9743> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/793075109> ; # Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
   schema:issn "0302-9743" ;
   schema:name "Lecture notes in computer science ;" ;
   schema:name "Lecture Notes in Computer Science," ;
    .

<http://www.worldcat.org/title/-/oclc/793075109>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
   schema:about <http://www.worldcat.org/oclc/793075109> ; # Semantics of Data Types : International Symposium Sophia-Antipolis, France, June 27-29, 1984. Proceedings
   schema:dateModified "2018-11-09" ;
   void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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