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://experiment.worldcat.org/entity/work/data/792919803#Topic/mathematical_logic_and_formal_languages> ; # Mathematical Logic and Formal Languages
    schema:about <http://experiment.worldcat.org/entity/work/data/792919803#Topic/programming_languages_compilers_interpreters> ; # Programming Languages, Compilers, Interpreters
    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://experiment.worldcat.org/entity/work/data/792919803#Topic/computer_science> ; # Computer Science
    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/mathematical_logic_and_formal_languages> # Mathematical Logic and Formal Languages
    a schema:Intangible ;
    schema:name "Mathematical Logic and Formal Languages"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/792919803#Topic/programming_languages_compilers_interpreters> # Programming Languages, Compilers, Interpreters
    a schema:Intangible ;
    schema:name "Programming Languages, Compilers, Interpreters"@en ;
    .

<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-09-08" ;
    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.