Statements (31)
| Predicate | Object |
|---|---|
| gptkbp:instance_of |
gptkb:Person
|
| gptkbp:academic_advisor |
gptkb:Benjamin_C._Pierce
|
| gptkbp:affiliation |
gptkb:Carnegie_Mellon_University
|
| gptkbp:alma_mater |
gptkb:University_of_Pennsylvania
|
| gptkbp:award |
gptkb:NSF_CAREER_Award
gptkb:Best_Paper_Award_at_ICFP gptkb:Best_Paper_Award_at_POPL ACM Fellow |
| gptkbp:birth_place |
gptkb:United_States
|
| gptkbp:contribution |
gptkb:Haskell
gptkb:Coq_proof_assistant ML programming language |
| gptkbp:field |
Computer Science
|
| https://www.w3.org/2000/01/rdf-schema#label |
Robert Harper
|
| gptkbp:influenced_by |
gptkb:Alonzo_Church
gptkb:Peter_Landin gptkb:Henk_Barendregt gptkb:John_W._Mc_Carthy |
| gptkbp:known_for |
Programming languages
Type systems |
| gptkbp:notable_students |
gptkb:Derek_Dreyer
gptkb:Sharon_Shoham gptkb:Dan_Licata gptkb:Oleg_Kiselyov Yitzhak Mandelbaum |
| gptkbp:research_interest |
Functional programming
Programming language design Type theory |
| gptkbp:website |
http://www.cs.cmu.edu/~rwh/
|
| gptkbp:bfsParent |
gptkb:Java_programming_language
|
| gptkbp:bfsLayer |
4
|