Robert L. Harper

URI: https://gptkb.org/entity/Robert_L._Harper
GPTKB entity
Statements (18)
Predicate Object
gptkbp:instanceOf gptkb:computer_scientist
gptkbp:almaMater gptkb:Cornell_University
gptkbp:awardReceived gptkb:ACM_Fellow
gptkbp:birthYear 1957
gptkbp:doctoralAdvisor gptkb:John_C._Reynolds
gptkbp:employer gptkb:Carnegie_Mellon_University
gptkbp:field gptkb:logic
gptkb:programming_language
functional programming
https://www.w3.org/2000/01/rdf-schema#label Robert L. Harper
gptkbp:nationality gptkb:American
gptkbp:notableWork gptkb:Practical_Foundations_for_Programming_Languages
gptkb:Standard_ML
gptkb:Type_Theory_and_Functional_Programming
gptkbp:occupation gptkb:computer_scientist
gptkb:professor
gptkbp:bfsParent gptkb:Centerbrook_Architects_&_Planners
gptkbp:bfsLayer 7