skip to content
Advanced topics in types and programming languages Preview this item
ClosePreview this item
Checking...

Advanced topics in types and programming languages

Author: Benjamin C Pierce
Publisher: Cambridge, Mass. : MIT Press, ©2005.
Edition/Format:   Print book : EnglishView all editions and formats
Database:WorldCat
Summary:
"The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Lehrbuch
Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: Benjamin C Pierce
ISBN: 0262162288 9780262162289
OCLC Number: 56334349
Description: xiii, 574 pages : illustrations ; 24 cm
Contents: Substructural type systems / David Walker --
Dependent types / David Aspinall and Martin Hofmann --
Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss --
Typed assembly language / Greg Morrisett --
Proof-carrying code / George Necula --
Logical relations and a case study in equivalence checking / Karl Crary --
Typed operational reasoning / Andrew Pitts --
Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce --
Type definitions / Christopher A. Stone --
The essence of ML type inference / François Pottier and Didier Rémy.
Responsibility: Benjamin C. Pierce, editor.

Abstract:

A thorough and accessible introduction to a range of key ideas in type systems for programming language.  Read more...

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/56334349> # Advanced topics in types and programming languages
    a schema:CreativeWork, schema:Book ;
   library:oclcnum "56334349" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1074875562#Place/cambridge_mass> ; # Cambridge, Mass.
   schema:about <http://dewey.info/class/005.13/e22/> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/1074875562#Topic/programmiersprache> ; # Programmiersprache
   schema:about <http://experiment.worldcat.org/entity/work/data/1074875562#Topic/langages_de_programmation> ; # Langages de programmation
   schema:about <http://experiment.worldcat.org/entity/work/data/1074875562#Topic/typus> ; # Typus
   schema:about <http://experiment.worldcat.org/entity/work/data/1074875562#Topic/formale_sprache> ; # Formale Sprache
   schema:about <http://id.worldcat.org/fast/1078704> ; # Programming languages (Electronic computers)
   schema:about <http://experiment.worldcat.org/entity/work/data/1074875562#Topic/softwareentwicklung> ; # Softwareentwicklung
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/1074875562#Person/pierce_benjamin_c> ; # Benjamin C. Pierce
   schema:copyrightYear "2005" ;
   schema:datePublished "2005" ;
   schema:description "Substructural type systems / David Walker -- Dependent types / David Aspinall and Martin Hofmann -- Effect types and region-based memory management / Fritz Henglein, Henning Makholm, and Henning Niss -- Typed assembly language / Greg Morrisett -- Proof-carrying code / George Necula -- Logical relations and a case study in equivalence checking / Karl Crary -- Typed operational reasoning / Andrew Pitts -- Design considerations for ML-style module systems / Robert Harper and Benjamin C. Pierce -- Type definitions / Christopher A. Stone -- The essence of ML type inference / François Pottier and Didier Rémy."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1074875562> ;
   schema:genre "Lehrbuch"@en ;
   schema:inLanguage "en" ;
   schema:name "Advanced topics in types and programming languages"@en ;
   schema:productID "56334349" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/56334349#PublicationEvent/cambridge_mass_mit_press_2005> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1074875562#Agent/mit_press> ; # MIT Press
   schema:reviews <http://www.worldcat.org/title/-/oclc/56334349#Review/-1926120802> ;
   schema:url <http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&doc_number=013071801&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA> ;
   schema:workExample <http://worldcat.org/isbn/9780262162289> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/56334349> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/1074875562#Person/pierce_benjamin_c> # Benjamin C. Pierce
    a schema:Person ;
   schema:familyName "Pierce" ;
   schema:givenName "Benjamin C." ;
   schema:name "Benjamin C. Pierce" ;
    .

<http://experiment.worldcat.org/entity/work/data/1074875562#Place/cambridge_mass> # Cambridge, Mass.
    a schema:Place ;
   schema:name "Cambridge, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/1074875562#Topic/langages_de_programmation> # Langages de programmation
    a schema:Intangible ;
   schema:name "Langages de programmation"@en ;
   schema:name "Langages de programmation"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/1074875562#Topic/softwareentwicklung> # Softwareentwicklung
    a schema:Intangible ;
   schema:name "Softwareentwicklung"@en ;
    .

<http://id.worldcat.org/fast/1078704> # Programming languages (Electronic computers)
    a schema:Intangible ;
   schema:name "Programming languages (Electronic computers)"@en ;
    .

<http://worldcat.org/isbn/9780262162289>
    a schema:ProductModel ;
   schema:isbn "0262162288" ;
   schema:isbn "9780262162289" ;
    .

<http://www.worldcat.org/title/-/oclc/56334349#Review/-1926120802>
    a schema:Review ;
   schema:itemReviewed <http://www.worldcat.org/oclc/56334349> ; # Advanced topics in types and programming languages
   schema:reviewBody ""The topics covered include precise type analyses, which extend simple type systems to give them a better grip on the run time behavior of systems; type systems for low-level languages; applications of types to reasoning about computer programs; type theory as a framework for the design of sophisticated module systems; and advanced techniques in ML-style type inference." "Advanced Topics in Types and Programming Languages can be used in the classroom and as a resource for professionals. Most chapters include exercises, ranging in difficulty from quick comprehension checks to challenging extensions, many with solutions."--Jacket." ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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