Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Robert_Harper_(computer_scientist)> ?p ?o }
Showing triples 1 to 59 of
59
with 100 triples per page.
- Robert_Harper_(computer_scientist) abstract "Robert \"Bob\" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework.Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages.".
- Robert_Harper_(computer_scientist) thumbnail Robert_Harper.jpg?width=300.
- Robert_Harper_(computer_scientist) wikiPageExternalLink book.pdf.
- Robert_Harper_(computer_scientist) wikiPageExternalLink book.pdf.
- Robert_Harper_(computer_scientist) wikiPageExternalLink existentialtype.wordpress.com.
- Robert_Harper_(computer_scientist) wikiPageExternalLink t2071.htm.
- Robert_Harper_(computer_scientist) wikiPageExternalLink ~rwh.
- Robert_Harper_(computer_scientist) wikiPageExternalLink tspl.pdf.
- Robert_Harper_(computer_scientist) wikiPageExternalLink www.leftout.info.
- Robert_Harper_(computer_scientist) wikiPageID "2871444".
- Robert_Harper_(computer_scientist) wikiPageLength "2062".
- Robert_Harper_(computer_scientist) wikiPageOutDegree "21".
- Robert_Harper_(computer_scientist) wikiPageRevisionID "705983315".
- Robert_Harper_(computer_scientist) wikiPageWikiLink Association_for_Computing_Machinery.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Carnegie_Mellon_University.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Carnegie_Mellon_University_faculty.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Fellows_of_the_Association_for_Computing_Machinery.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Living_people.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Place_of_birth_missing_(living_people).
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Programming_language_researchers.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Category:Year_of_birth_missing_(living_people).
- Robert_Harper_(computer_scientist) wikiPageWikiLink Computer_science.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Daniel_Sleator.
- Robert_Harper_(computer_scientist) wikiPageWikiLink David_MacQueen.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Logical_framework.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Mads_Tofte.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Programming_language.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Robin_Milner.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Standard_ML.
- Robert_Harper_(computer_scientist) wikiPageWikiLink Type_theory.
- Robert_Harper_(computer_scientist) wikiPageWikiLink WRCT.
- Robert_Harper_(computer_scientist) wikiPageWikiLink File:Robert_Harper.jpg.
- Robert_Harper_(computer_scientist) wikiPageWikiLinkText "Bob Harper".
- Robert_Harper_(computer_scientist) wikiPageWikiLinkText "Harper, Robert".
- Robert_Harper_(computer_scientist) wikiPageWikiLinkText "Rober Harper".
- Robert_Harper_(computer_scientist) wikiPageWikiLinkText "Robert Harper (computer scientist)".
- Robert_Harper_(computer_scientist) wikiPageWikiLinkText "Robert Harper".
- Robert_Harper_(computer_scientist) wikiPageUsesTemplate Template:Authority_control.
- Robert_Harper_(computer_scientist) wikiPageUsesTemplate Template:Compu-scientist-stub.
- Robert_Harper_(computer_scientist) subject Category:Carnegie_Mellon_University_faculty.
- Robert_Harper_(computer_scientist) subject Category:Fellows_of_the_Association_for_Computing_Machinery.
- Robert_Harper_(computer_scientist) subject Category:Living_people.
- Robert_Harper_(computer_scientist) subject Category:Place_of_birth_missing_(living_people).
- Robert_Harper_(computer_scientist) subject Category:Programming_language_researchers.
- Robert_Harper_(computer_scientist) subject Category:Year_of_birth_missing_(living_people).
- Robert_Harper_(computer_scientist) type List.
- Robert_Harper_(computer_scientist) type Scientist.
- Robert_Harper_(computer_scientist) type List.
- Robert_Harper_(computer_scientist) type Member.
- Robert_Harper_(computer_scientist) type Scientist.
- Robert_Harper_(computer_scientist) type Thing.
- Robert_Harper_(computer_scientist) comment "Robert \"Bob\" William Harper, Jr. is a computer science professor at Carnegie Mellon University who works in programming language research. He made major contributions to the design of the Standard ML programming language and the LF logical framework.Harper was named an ACM Fellow in 2005. He was awarded this honor for his contributions to type systems for programming languages.".
- Robert_Harper_(computer_scientist) label "Robert Harper (computer scientist)".
- Robert_Harper_(computer_scientist) sameAs Q7345273.
- Robert_Harper_(computer_scientist) sameAs m.0884k9.
- Robert_Harper_(computer_scientist) sameAs Q7345273.
- Robert_Harper_(computer_scientist) wasDerivedFrom Robert_Harper_(computer_scientist)?oldid=705983315.
- Robert_Harper_(computer_scientist) depiction Robert_Harper.jpg.
- Robert_Harper_(computer_scientist) isPrimaryTopicOf Robert_Harper_(computer_scientist).