Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Benjamin_C._Pierce> }
Showing triples 1 to 27 of
27
with 100 triples per page.
- Unison_(file_synchronizer) author Benjamin_C._Pierce.
- John_C._Reynolds doctoralStudent Benjamin_C._Pierce.
- AATaPL wikiPageRedirects Benjamin_C._Pierce.
- Advanced_Topics_in_Types_and_Programming_Languages wikiPageRedirects Benjamin_C._Pierce.
- AATaPL wikiPageWikiLink Benjamin_C._Pierce.
- Abstraction_principle_(computer_programming) wikiPageWikiLink Benjamin_C._Pierce.
- Advanced_Topics_in_Types_and_Programming_Languages wikiPageWikiLink Benjamin_C._Pierce.
- Benjamin_Pierce wikiPageWikiLink Benjamin_C._Pierce.
- Bounded_quantification wikiPageWikiLink Benjamin_C._Pierce.
- Coq wikiPageWikiLink Benjamin_C._Pierce.
- Dependent_ML wikiPageWikiLink Benjamin_C._Pierce.
- Fundamental_Concepts_in_Programming_Languages wikiPageWikiLink Benjamin_C._Pierce.
- Garbage_(computer_science) wikiPageWikiLink Benjamin_C._Pierce.
- John_C._Reynolds wikiPageWikiLink Benjamin_C._Pierce.
- POPLmark_challenge wikiPageWikiLink Benjamin_C._Pierce.
- Partial_application wikiPageWikiLink Benjamin_C._Pierce.
- Pierce_(surname) wikiPageWikiLink Benjamin_C._Pierce.
- Programming_language wikiPageWikiLink Benjamin_C._Pierce.
- Programming_language_theory wikiPageWikiLink Benjamin_C._Pierce.
- Robert_Goldblatt wikiPageWikiLink Benjamin_C._Pierce.
- Symposium_on_Logic_in_Computer_Science wikiPageWikiLink Benjamin_C._Pierce.
- Typed_assembly_language wikiPageWikiLink Benjamin_C._Pierce.
- Types_and_Programming_Languages wikiPageWikiLink Benjamin_C._Pierce.
- Unison_(file_synchronizer) wikiPageWikiLink Benjamin_C._Pierce.
- Unison_(file_synchronizer) author Benjamin_C._Pierce.
- John_C._Reynolds doctoralStudents Benjamin_C._Pierce.
- Benjamin_C._Pierce primaryTopic Benjamin_C._Pierce.