GPTKB
Browse
Query
Compare
Download
Publications
Contributors
Search
Robert Harper
URI:
https://gptkb.org/entity/Robert_Harper
GPTKB entity
Statements (19)
Predicate
Object
gptkbp:instanceOf
gptkb:person
gptkbp:almaMater
gptkb:Cornell_University
gptkbp:awardReceived
gptkb:ACM_Fellow
gptkb:SIGPLAN_Programming_Languages_Achievement_Award
gptkbp:birthYear
1957
gptkbp:doctoralAdvisor
gptkb:John_C._Reynolds
gptkbp:employer
gptkb:Carnegie_Mellon_University
gptkbp:field
gptkb:logic
gptkb:programming_language
formal methods
https://www.w3.org/2000/01/rdf-schema#label
Robert Harper
gptkbp:nationality
gptkb:American
gptkbp:notableWork
gptkb:Practical_Foundations_for_Programming_Languages
gptkb:Programming_in_Standard_ML
gptkb:Standard_ML
gptkbp:occupation
gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent
gptkb:Derek_Dreyer
gptkbp:bfsLayer
4