Robert L. Harper

URI: https://gptkb.org/entity/Robert_L._Harper

GPTKB entity

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
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
http://www.w3.org/2000/01/rdf-schema#label	Robert L. Harper