Scholar
Robert Harper
Google Scholar ID: hbpHGtQAAAAJ
Professor of Computer Science, Carnegie Mellon University
Programming Languages
Type Theory
Proof Theory
Semantics.
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
20,911
H-index
59
i10-index
144
Publications
20
Co-authors
27
list available
Publications
2 items
Directed proof-relevant logical relations in simplicial HoTT
2026
Cited
0
Potential Functions as Types
2026
Cited
0
Co-authors
12 total
Karl Crary
Carnegie Mellon University
Guy Blelloch
Professor of Computer Science, Carnegie Mellon University
Umut A. Acar
Carnegie Mellon University, Department of Computer Science
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
John C Mitchell
Professor of Computer Science, Stanford University
Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Kuen-Bang Hou (Favonia)
University of Minnesota, Twin Cities
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
