Robert Harper

Cited by

	All	Since 2019
Citations	20145	2821
h-index	56	27
i10-index	141	67

840

420

210

630

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024103 154 199 300 436 494 617 508 661 610 702 682 600 604 678 655 742 751 709 835 711 681 601 483 526 517 462 435 463 470 442 556 471 503 442 445 402

Public access

View all

22 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityVerified email at indiana.edu
Tom Murphy VIICarnegie MellonVerified email at cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Mark LillibridgeFacebookVerified email at cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerified email at umn.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Jonathan SterlingUniversity of CambridgeVerified email at cl.cam.ac.uk
Matthias BlumeGoogleVerified email at google.com
Kanat TangwongsanMahidol University International CollegeVerified email at mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk

Robert Harper

Professor of Computer Science, Carnegie Mellon University

Verified email at andrew.cmu.edu - Homepage

programming languages


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
The definition of standard ML: revised R Milner MIT press, 1997	4833	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2319	1986
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2061	1993
Practical foundations for programming languages R Harper Cambridge University Press, 2016	503	2016
TIL: A type-directed optimizing compiler for ML D Tarditi, G Morrisett, P Cheng, C Stone, R Harper, P Lee ACM Sigplan Notices 31 (5), 181-192, 1996	484	1996
Compiling polymorphism using intensional type analysis R Harper, G Morrisett Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	427	1995
A type-theoretic approach to higher-order modules with sharing R Harper, M Lillibridge Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	403	1994
Standard ml R Harper, D MacQueen, R Milner Department of Computer Science, University of Edinburgh, 1986	343	1986
Commentary on standard ML R Milner, M Tofte MIT press, 1991	329	1991
Typed closure conversion Y Minamide, G Morrisett, R Harper Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on principles of …, 1996	287	1996
A language-based approach to security FB Schneider, G Morrisett, R Harper Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001	256	2001
Higher-order modules and the phase distinction R Harper, JC Mitchell, E Moggi Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of …, 1989	226	1989
Introduction to standard ml R Harper, N Rothwell, K Mitchell University of Edinburgh, Department of Computer Science, Laboratory for …, 1989	201	1989
What is a recursive module? K Crary, R Harper, S Puri Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999	188	1999
On the type structure of Standard ML R Harper, JC Mitchell Acm transactions on programming languages and systems (toplas) 15 (2), 211-252, 1993	182	1993
On the unusual effectiveness of logic in computer science JY Halpern, R Harper, N Immerman, PG Kolaitis, MY Vardi, V Vianu Bulletin of Symbolic Logic 7 (2), 213-236, 2001	179	2001
Towards a mechanized metatheory of Standard ML DK Lee, K Crary, R Harper Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2007	176	2007
Abstract models of memory management G Morrisett, M Felleisen, R Harper Proceedings of the seventh international conference on Functional …, 1995	173	1995
The essence of ML JC Mitchell, R Harper Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988	164	1988
Mechanizing metatheory in a logical framework R Harper, DR Licata Journal of functional programming 17 (4-5), 613-673, 2007	156	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors