skip to content
Covid-19 virus
COVID-19 Resources

Reliable information about the coronavirus (COVID-19) is available from the World Health Organization (current situation, international travel). Numerous and frequently-updated resource results are available from this WorldCat.org search. OCLC’s WebJunction has pulled together information and resources to assist library staff as they consider how to handle coronavirus issues in their communities.

Image provided by: CDC/ Alissa Eckert, MS; Dan Higgins, MAM
Types and programming languages Preview this item
ClosePreview this item
Checking...

Types and programming languages

Author: Benjamin C Pierce
Publisher: Cambridge, Mass. ; London : MIT Press, ©2002.
Edition/Format:   Print book : EnglishView all editions and formats
Summary:
Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - Types Arithmetic Expressions - Simply Typed Lambda-Calculus - An ML Implementation of Simple Types - Simple Extensions - Normalization - Exceptions - Subtyping - Metatheory of  Read more...
Rating:

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

Subjects
More like this

Find a copy in the library

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

Details

Document Type: Book
All Authors / Contributors: Benjamin C Pierce
ISBN: 0262162091 9780262162098
OCLC Number: 318250462
Description: xxi, 623 p. : il. ; 24 cm
Responsibility: Benjamin C. Pierce.

Abstract:

A comprehensive introduction to type systems and programming languages.  Read more...

Reviews

Editorial reviews

Publisher Synopsis

"Types are the leaven of computer programming; they make it digestible. This excellent book uses types to navigate the rich variety of programming languages, bringing a new kind of unity to their Read more...

 
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


\n\n

Primary Entity<\/h3>\n
<http:\/\/www.worldcat.org\/oclc\/318250462<\/a>> # Types and programming languages<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:CreativeWork<\/a>, schema:Book<\/a> ;\u00A0\u00A0\u00A0\nlibrary:oclcnum<\/a> \"318250462<\/span>\" ;\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Place\/cambridge_mass<\/a>> ; # Cambridge, Mass.<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/dbpedia.org\/resource\/London<\/a>> ; # London<\/span>\n\u00A0\u00A0\u00A0\nlibrary:placeOfPublication<\/a> <http:\/\/id.loc.gov\/vocabulary\/countries\/mau<\/a>> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion<\/a>> ; # Lenguajes de programaci\u00F3n<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion_computadores_electronicos<\/a>> ; # Lenguajes de programaci\u00F3n (Computadores electr\u00F3nicos)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion_ordenadores<\/a>> ; # Lenguajes de programaci\u00F3n (Ordenadores)<\/span>\n\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/dewey.info\/class\/005.13\/e21\/<\/a>> ;\u00A0\u00A0\u00A0\nschema:bookFormat<\/a> bgn:PrintBook<\/a> ;\u00A0\u00A0\u00A0\nschema:copyrightYear<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\nschema:creator<\/a> <http:\/\/viaf.org\/viaf\/299669915<\/a>> ; # Benjamin C. Pierce<\/span>\n\u00A0\u00A0\u00A0\nschema:datePublished<\/a> \"2002<\/span>\" ;\u00A0\u00A0\u00A0\nschema:description<\/a> \"Mathematical Preliminaries - Untyped Systems - Untyped Arithmetic Expressions - An ML Implementation of Arithmetic Expressions - The Untyped Lambda-Calculus - Nameless Representation of Terms - An ML Implementation of the Lambda-Calculus - Types Arithmetic Expressions - Simply Typed Lambda-Calculus - An ML Implementation of Simple Types - Simple Extensions - Normalization - Exceptions - Subtyping - Metatheory of Subtyping - An ML Implementation of Subtyping - Recursive Types - Metatheory of Recursive Types - Polymorphism - Type Reconstruction - Universal Types - Existential Types - An ML Implementation of System F - Bounded Quantification - Higher-Order Systems - Higher-Order Polymorphism - Higher-Order Subtyping.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:exampleOfWork<\/a> <http:\/\/worldcat.org\/entity\/work\/id\/3856963606<\/a>> ;\u00A0\u00A0\u00A0\nschema:inLanguage<\/a> \"en<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Types and programming languages<\/span>\" ;\u00A0\u00A0\u00A0\nschema:numberOfPages<\/a> \"623<\/span>\" ;\u00A0\u00A0\u00A0\nschema:productID<\/a> \"318250462<\/span>\" ;\u00A0\u00A0\u00A0\nschema:publication<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/318250462#PublicationEvent\/cambridge_mass_london_mit_press_2002<\/a>> ;\u00A0\u00A0\u00A0\nschema:publisher<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Agent\/mit_press<\/a>> ; # MIT Press<\/span>\n\u00A0\u00A0\u00A0\nschema:workExample<\/a> <http:\/\/worldcat.org\/isbn\/9780262162098<\/a>> ;\u00A0\u00A0\u00A0\nwdrs:describedby<\/a> <http:\/\/www.worldcat.org\/title\/-\/oclc\/318250462<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Related Entities<\/h3>\n
<http:\/\/dbpedia.org\/resource\/London<\/a>> # London<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"London<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/dewey.info\/class\/005.13\/e21\/<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Agent\/mit_press<\/a>> # MIT Press<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nbgn:Agent<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"MIT Press<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Place\/cambridge_mass<\/a>> # Cambridge, Mass.<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Cambridge, Mass.<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion<\/a>> # Lenguajes de programaci\u00F3n<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lenguajes de programaci\u00F3n<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion_computadores_electronicos<\/a>> # Lenguajes de programaci\u00F3n (Computadores electr\u00F3nicos)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lenguajes de programaci\u00F3n (Computadores electr\u00F3nicos)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Topic\/lenguajes_de_programacion_ordenadores<\/a>> # Lenguajes de programaci\u00F3n (Ordenadores)<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Intangible<\/a> ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Lenguajes de programaci\u00F3n (Ordenadores)<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/id.loc.gov\/vocabulary\/countries\/mau<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:Place<\/a> ;\u00A0\u00A0\u00A0\ndcterms:identifier<\/a> \"mau<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/viaf.org\/viaf\/299669915<\/a>> # Benjamin C. Pierce<\/span>\n\u00A0\u00A0\u00A0\u00A0a \nschema:Person<\/a> ;\u00A0\u00A0\u00A0\nschema:familyName<\/a> \"Pierce<\/span>\" ;\u00A0\u00A0\u00A0\nschema:givenName<\/a> \"Benjamin C.<\/span>\" ;\u00A0\u00A0\u00A0\nschema:name<\/a> \"Benjamin C. Pierce<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/worldcat.org\/isbn\/9780262162098<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:ProductModel<\/a> ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"0262162091<\/span>\" ;\u00A0\u00A0\u00A0\nschema:isbn<\/a> \"9780262162098<\/span>\" ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/318250462<\/a>>\u00A0\u00A0\u00A0\u00A0a \ngenont:InformationResource<\/a>, genont:ContentTypeGenericResource<\/a> ;\u00A0\u00A0\u00A0\nschema:about<\/a> <http:\/\/www.worldcat.org\/oclc\/318250462<\/a>> ; # Types and programming languages<\/span>\n\u00A0\u00A0\u00A0\nschema:dateModified<\/a> \"2019-02-15<\/span>\" ;\u00A0\u00A0\u00A0\nvoid:inDataset<\/a> <http:\/\/purl.oclc.org\/dataset\/WorldCat<\/a>> ;\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n
<http:\/\/www.worldcat.org\/title\/-\/oclc\/318250462#PublicationEvent\/cambridge_mass_london_mit_press_2002<\/a>>\u00A0\u00A0\u00A0\u00A0a \nschema:PublicationEvent<\/a> ;\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/dbpedia.org\/resource\/London<\/a>> ; # London<\/span>\n\u00A0\u00A0\u00A0\nschema:location<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Place\/cambridge_mass<\/a>> ; # Cambridge, Mass.<\/span>\n\u00A0\u00A0\u00A0\nschema:organizer<\/a> <http:\/\/experiment.worldcat.org\/entity\/work\/data\/3856963606#Agent\/mit_press<\/a>> ; # MIT Press<\/span>\n\u00A0\u00A0\u00A0\u00A0.\n\n\n<\/div>\n\n

Content-negotiable representations<\/p>\n