Types and Programming Languages

http://dbpedia.org/resource/Types_and_Programming_Languages an entity of type: Thing

Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems published in 2002. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years." rdf:langString

rdfs:label

rdf:langString Types and Programming Languages

dbpedia-owl:wikiPageID

xsd:integer 13308336

dbpedia-owl:wikiPageRevisionID

xsd:integer 929323885

dbpedia-owl:abstract

rdf:langString Types and Programming Languages, ISBN 0-262-16209-1, is a book by Benjamin C. Pierce on type systems published in 2002. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."

dbpedia-owl:wikiPageLength

xsd:nonNegativeInteger 757

rdf:type

owl:Thing

dbpedia-owl:Book

dcterms:subject

<http://dbpedia.org/resource/Category:Computer_science_books>

dbpedia-owl:wikiPageWikiLink

<http://dbpedia.org/resource/Benjamin_C._Pierce>

<http://dbpedia.org/resource/Frank_Pfenning>

<http://dbpedia.org/resource/Type_system>

<http://dbpedia.org/resource/Category:Computer_science_books>