Robert Harper

12.4k total citations · 2 hit papers
172 papers, 6.3k citations indexed

About

Robert Harper is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Hardware and Architecture. According to data from OpenAlex, Robert Harper has authored 172 papers receiving a total of 6.3k indexed citations (citations by other indexed papers that have themselves been cited), including 134 papers in Artificial Intelligence, 76 papers in Computational Theory and Mathematics and 53 papers in Hardware and Architecture. Recurrent topics in Robert Harper's work include Logic, programming, and type systems (123 papers), Logic, Reasoning, and Knowledge (53 papers) and Formal Methods in Verification (53 papers). Robert Harper is often cited by papers focused on Logic, programming, and type systems (123 papers), Logic, Reasoning, and Knowledge (53 papers) and Formal Methods in Verification (53 papers). Robert Harper collaborates with scholars based in United States, United Kingdom and Finland. Robert Harper's co-authors include David MacQueen, Robin Milner, Mads Tofte, Greg Morrisett, Gordon Plotkin, Furio Honsell, Karl Crary, Mark Lillibridge, Guy E. Blelloch and John C. Mitchell and has published in prestigious journals such as SHILAP Revista de lepidopterología, Communications of the ACM and ACM Computing Surveys.

In The Last Decade

Robert Harper

151 papers receiving 5.6k citations

Hit Papers

The Definition of Standar... 1997 2026 2006 2016 1997 1997 250 500 750 1000
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. The Definition of Standard ML
    1997 1.1k citations Robin Milner, Robert Harper et al. profile →
  2. The Definition of Standard ML (Revised)
    1997 594 citations Robin Milner, Robert Harper et al. Research at the University of Copenhagen (University of Copenhagen) profile →

Author Peers

Peers are selected by citation overlap in the author's most active subfields. citations · hero ref

Author Last Decade Papers Cites
Robert Harper 5.5k 2.9k 1.7k 1.4k 1.1k 172 6.3k
Philip Wadler 6.9k 1.3× 3.3k 1.1× 2.0k 1.2× 2.0k 1.5× 1.9k 1.6× 141 7.9k
Benjamin C. Pierce 5.8k 1.1× 2.4k 0.8× 949 0.6× 2.1k 1.5× 2.0k 1.8× 183 6.9k
José Meseguer 5.4k 1.0× 3.6k 1.3× 743 0.4× 1.9k 1.4× 1.4k 1.3× 229 7.0k
John Hughes 2.1k 0.4× 1.2k 0.4× 856 0.5× 776 0.6× 869 0.8× 94 3.5k
Radhia Cousot 4.1k 0.8× 3.7k 1.3× 1.5k 0.9× 878 0.6× 1.1k 1.0× 79 6.2k
Patrick Cousot 5.0k 0.9× 4.6k 1.6× 1.8k 1.1× 1.0k 0.7× 1.3k 1.2× 99 7.4k
Grigore Roşu 2.5k 0.4× 1.6k 0.6× 979 0.6× 1.1k 0.8× 1.2k 1.0× 194 4.1k
Mads Tofte 2.6k 0.5× 1.3k 0.5× 1.2k 0.7× 832 0.6× 605 0.5× 29 3.2k
A. W. Roscoe 1.9k 0.4× 1.9k 0.7× 503 0.3× 1.0k 0.7× 892 0.8× 103 3.7k
Paul Hudak 2.9k 0.5× 1.5k 0.5× 2.3k 1.4× 2.2k 1.6× 923 0.8× 101 5.2k

Countries citing papers authored by Robert Harper

Since Specialization
Citations

This map shows the geographic impact of Robert Harper's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Robert Harper with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Robert Harper more than expected).

Fields of papers citing papers by Robert Harper

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Robert Harper. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Robert Harper. The network helps show where Robert Harper may publish in the future.

Co-authorship network of co-authors of Robert Harper

This figure shows the co-authorship network connecting the top 25 collaborators of Robert Harper. A scholar is included among the top collaborators of Robert Harper based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Robert Harper. Robert Harper is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
Harper, Robert, et al.. (2024). Amortized Analysis via Coalgebra. Volume 4 - Proceedings of....
2.
Harper, Robert, et al.. (2022). Sheaf Semantics of Termination-Insensitive Noninterference. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 1 indexed citations
3.
Harper, Robert, et al.. (2020). Internal Parametricity for Cubical Type Theory. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics). 17. 5 indexed citations
4.
Harper, Robert, et al.. (2020). Logical Relations as Types: Proof-Relevant Parametricity for Program Modules. arXiv (Cornell University). 11 indexed citations
5.
Harper, Robert, et al.. (2017). Computational higher-dimensional type theory. ACM SIGPLAN Notices. 52(1). 680–693. 1 indexed citations
6.
Harper, Robert, et al.. (2017). Meaning explanations at higher dimension. Indagationes Mathematicae. 29(1). 135–149.
7.
Harper, Robert. (2004). Self-adjusting computation. 254–255. 55 indexed citations
8.
Acar, Umut A., et al.. (2004). Dynamizing static algorithms, with applications to dynamic trees and history independence. Symposium on Discrete Algorithms. 531–540. 41 indexed citations
9.
Crary, Karl, et al.. (2004). A symmetric modal lambda calculus for distributed computing. 286–295. 44 indexed citations
10.
Blelloch, Guy E., et al.. (2001). Persistent triangulations Journal of Functional Programming.. Journal of Functional Programming. 11. 441–466. 1 indexed citations
11.
Peng, Cheng, et al.. (2000). Implementing the TILT Internal Language. Defense Technical Information Center (DTIC). 5 indexed citations
12.
Morrisett, Greg & Robert Harper. (1999). Semantics of memory management for polymorphic languages. Cambridge University Press eBooks. 175–226. 31 indexed citations
13.
Milner, Robin, Robert Harper, David MacQueen, & Mads Tofte. (1997). The Definition of Standard ML (Revised). Research at the University of Copenhagen (University of Copenhagen). 594 indexed citations breakdown →
14.
Harper, Robert, et al.. (1996). Proceedings of the first ACM SIGPLAN international conference on Functional programming. 1 indexed citations
15.
Harper, Robert, et al.. (1994). A Compilation Manager for Standard ML of New Jersey. 4 indexed citations
16.
Harper, Robert, et al.. (1994). Advanced Languages for Systems Software. Defense Technical Information Center (DTIC). 2 indexed citations
17.
Harper, Robert, Donald Sannella, & Andrzej Tarlecki. (1994). Structured theory presentations and logic representations. Annals of Pure and Applied Logic. 67(1-3). 113–160. 23 indexed citations
18.
Plotkin, Gordon, Furio Honsell, & Robert Harper. (1993). A Framework for Defining Logics. Institutional Research Information System (University of Udine). 450 indexed citations
19.
Harper, Robert. (1992). Constructing type systems over an operational semantics. Journal of Symbolic Computation. 14(1). 71–84. 19 indexed citations
20.
Harper, Robert & Robert Pollack. (1991). Type checking with universes. Theoretical Computer Science. 89(1). 107–136. 27 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Philip Wadler Breakdown of academic impact, for papers by Benjamin C. Pierce Breakdown of academic impact, for papers by José Meseguer Breakdown of academic impact, for papers by John Hughes Breakdown of academic impact, for papers by Radhia Cousot Breakdown of academic impact, for papers by Patrick Cousot Breakdown of academic impact, for papers by Grigore Roşu Breakdown of academic impact, for papers by Mads Tofte Breakdown of academic impact, for papers by A. W. Roscoe Breakdown of academic impact, for papers by Paul Hudak
Rankless by CCL
2026