Statistics
Publications
105
Citations
5.8K
H-Index
43
Active since
1984
Affiliations
Carnegie Mellon University(Current)
Robert Harper is an author at Carnegie Mellon University specializing in computer science, computing, and programming languages.
Publications per year
1984–2024
105
105
David Tarditi, Greg Morrisett, Pau-Chen Cheng et al. · 1996 · 316 citations · Full text
Compiling polymorphism using intensional type analysis
Robert Harper, Greg Morrisett · 1995 · 298 citations · Full text
A type-theoretic approach to higher-order modules with sharing
Robert Harper, Mark Lillibridge · 1994 · 291 citations · Full text
Yasuhiko Minamide, Greg Morrisett, Robert Harper · 1996 · 209 citations · Full text
A framework for defining logics
Robert Harper, Furio Honsell, Gordon Plotkin · Journal of the ACM · 1993 · 195 citations · Full text
1–5 of 105