Robert Harper
Scholar

Robert Harper

Google Scholar ID: hbpHGtQAAAAJ
Professor of Computer Science, Carnegie Mellon University
Programming LanguagesType TheoryProof TheorySemantics.
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
20,911
 
H-index
59
 
i10-index
144
 
Publications
20
 
Co-authors
27
list available
Contact
No contact links provided.
Publications
2 items
Directed proof-relevant logical relations in simplicial HoTT
2026
Cited
0
Potential Functions as Types
2026
Cited
0
Resume (English only)
Co-authors
27 total
Karl Crary
Karl Crary
Carnegie Mellon University
Guy Blelloch
Guy Blelloch
Professor of Computer Science, Carnegie Mellon University
Co-author 3
Co-author 3
Co-author 4
Co-author 4
Umut A. Acar
Umut A. Acar
Carnegie Mellon University, Department of Computer Science
Frank Pfenning
Frank Pfenning
Professor of Computer Science, Carnegie Mellon University
Co-author 7
Co-author 7
John C Mitchell
John C Mitchell
Professor of Computer Science, Stanford University