Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Types_and_Programming_Languages> ?p ?o }
Showing triples 1 to 26 of
26
with 100 triples 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 wikiPageLength "794".
- Types_and_Programming_Languages wikiPageOutDegree "5".
- Types_and_Programming_Languages wikiPageRevisionID "691926194".
- Types_and_Programming_Languages wikiPageWikiLink Benjamin_C._Pierce.
- Types_and_Programming_Languages wikiPageWikiLink Book.
- Types_and_Programming_Languages wikiPageWikiLink Category:Computer_science_books.
- Types_and_Programming_Languages wikiPageWikiLink Frank_Pfenning.
- Types_and_Programming_Languages wikiPageWikiLink Type_system.
- Types_and_Programming_Languages wikiPageWikiLinkText "Types and Programming Languages".
- Types_and_Programming_Languages wikiPageUsesTemplate Template:About.
- Types_and_Programming_Languages wikiPageUsesTemplate Template:Compu-book-stub.
- Types_and_Programming_Languages subject Category:Computer_science_books.
- Types_and_Programming_Languages hypernym Book.
- Types_and_Programming_Languages type Book.
- Types_and_Programming_Languages type Book.
- 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 Q7860935.
- Types_and_Programming_Languages sameAs m.03c19nb.
- Types_and_Programming_Languages sameAs Q7860935.
- Types_and_Programming_Languages wasDerivedFrom Types_and_Programming_Languages?oldid=691926194.
- Types_and_Programming_Languages homepage tapl.
- Types_and_Programming_Languages isPrimaryTopicOf Types_and_Programming_Languages.