Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Types_and_Programming_Languages> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Types_and_Programming_Languages abstract "Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on type systems. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."".
- Types_and_Programming_Languages wikiPageExternalLink tapl.
- Types_and_Programming_Languages wikiPageID "13308336".
- Types_and_Programming_Languages wikiPageRevisionID "602097451".
- Types_and_Programming_Languages hasPhotoCollection Types_and_Programming_Languages.
- Types_and_Programming_Languages subject Category:Computer_science_books.
- Types_and_Programming_Languages comment "Types and Programming Languages, ISBN 0-262-16209-1, (TaPL) is a book by Benjamin C. Pierce on type systems. A review by Frank Pfenning called it "probably the single most important book in the area of programming languages in recent years."".
- Types_and_Programming_Languages label "Types and Programming Languages".
- Types_and_Programming_Languages sameAs m.03c19nb.
- Types_and_Programming_Languages sameAs Q7860935.
- Types_and_Programming_Languages sameAs Q7860935.
- Types_and_Programming_Languages wasDerivedFrom Types_and_Programming_Languages?oldid=602097451.
- Types_and_Programming_Languages homepage tapl.
- Types_and_Programming_Languages isPrimaryTopicOf Types_and_Programming_Languages.