| dbo:academicDiscipline
| |
| dbo:alternativeName
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
|
- Robert William Harper, Jr. (en)
|
| dbo:description
|
- computer scientist (en)
- informaticus (nl)
- науковець у галузі комп'ютерних технологій (uk)
|
| dbo:doctoralStudent
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:birthDate
| |
| dbp:birthName
|
- Robert William Harper, Jr. (en)
|
| dbp:caption
|
- Robert Harper in 2012 (en)
|
| dbp:doctoralStudents
|
- (en)
- Tom Murphy (en)
- Benjamin Pierce (en)
- Greg Morrisett (en)
|
| dbp:education
|
- (en)
- M.Sc.; Cornell University (en)
- P.D.; Cornell University (en)
|
| dbp:field
| |
| dbp:imageSize
| |
| dbp:knownFor
|
- (en)
- Standard ML (en)
- Type theory (en)
- Functional programming (en)
- LF logical framework (en)
|
| dbp:name
| |
| dbp:otherNames
| |
| dbp:prizes
|
- (en)
- ACM Fellow, 2005 (en)
- ACM SIGPLAN Most Influential PLDI Paper, 2006 (en)
- ACM SIGPLAN Prog Lang Achievement Award, 2021 (en)
- LICS Test of Time Award, 2007 (en)
|
| dbp:website
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
|
- (en)
- University of Edinburgh (en)
- Carnegie Mellon (en)
|
| dct:subject
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
|
- Robert Harper (computer scientist) (en)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:doctoralAdvisor
of | |
| is dbo:doctoralStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:doctoralAdvisor
of | |
| is dbp:doctoralStudents
of | |
| is foaf:primaryTopic
of | |
