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 Poland. 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

align trajectories

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.

The Definition of Standard ML

1997 1.1k citations Robin Milner, Robert Harper et al. profile →
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 →

Peers

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

Sort: Min cites: Since: Top N: Style:

20 of 20 papers shown

#	Work	Indexed citations
1	Amortized Analysis via Coalgebra 2024 ·(unknown), Robert Harper	0
2	Sheaf Semantics of Termination-Insensitive Noninterference 2022 ·DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) ·(unknown), Robert Harper	1
3	Internal Parametricity for Cubical Type Theory 2020 ·DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) ·(unknown), Robert Harper	5
4	Logical Relations as Types: Proof-Relevant Parametricity for Program Modules 2020 ·arXiv (Cornell University) ·(unknown), Robert Harper	11
5	A Formulation of Dependent ML with Explicit Equality Proofs 2018 ·Research Showcase @ Carnegie Mellon University (Carnegie Mellon University) ·Daniel R. Licata, Robert Harper	3
6	Computational higher-dimensional type theory 2017 ·ACM SIGPLAN Notices ·(unknown), Robert Harper, Todd M. Wilson	1
7	Meaning explanations at higher dimension 2017 ·Indagationes Mathematicae ·(unknown), Robert Harper	0
8	Self-adjusting computation 2004 ·Robert Harper	55
9	Dynamizing static algorithms, with applications to dynamic trees and history independence 2004 ·Symposium on Discrete Algorithms ·Umut A. Acar, Guy E. Blelloch, Robert Harper, (unknown), (unknown)	41
10	A symmetric modal lambda calculus for distributed computing 2004 ·(unknown), Karl Crary, Robert Harper, Frank Pfenning	44
11	Persistent triangulations Journal of Functional Programming. 2001 ·Journal of Functional Programming ·Guy E. Blelloch, Hal Burch, Karl Crary, Robert Harper, (unknown), Noel J. Walkington	1
12	Implementing the TILT Internal Language 2000 ·Defense Technical Information Center (DTIC) ·(unknown), Cheng Peng, Robert Harper, C. Addison Stone	5
13	Semantics of memory management for polymorphic languages 1999 ·Cambridge University Press eBooks ·Greg Morrisett, Robert Harper	31
14	Relational Interpretations of Recursive Types in an Operational Setting 1999 ·Information and Computation ·Lars Birkedal, Robert Harper	31
15	The Definition of Standard ML (Revised) breakdown → 1997 ·Research at the University of Copenhagen (University of Copenhagen) ·Robin Milner, Robert Harper, David MacQueen, Mads Tofte	594
16	Proceedings of the first ACM SIGPLAN international conference on Functional programming 1996 ·Robert Harper, (unknown)	1
17	Advanced Languages for Systems Software 1994 ·Defense Technical Information Center (DTIC) ·Robert Harper, (unknown)	2
18	A Compilation Manager for Standard ML of New Jersey 1994 ·Robert Harper, Frank Pfenning, Peter A. Lee, (unknown)	4
19	A Framework for Defining Logics 1993 ·Institutional Research Information System (University of Udine) ·Gordon Plotkin, Furio Honsell, Robert Harper	450
20	Type checking with universes 1991 ·Theoretical Computer Science ·Robert Harper, Robert Pollack	27

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