Robert Harper

Citado por

	Total	Desde 2020
Citas	20342	2429
Índice h	56	23
Índice i10	142	58

840

420

210

630

19881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320242025103 154 202 299 438 496 616 509 661 611 706 683 598 604 678 658 742 758 709 835 714 681 599 484 527 517 464 433 467 474 441 557 469 504 441 450 506 57

Acceso público

Ver todo

22 artículos

1 artículo

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Karl CraryCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityDirección de correo verificada de cornell.edu
Dan LicataWesleyan UniversityDirección de correo verificada de wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoDirección de correo verificada de cs.uchicago.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceDirección de correo verificada de cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityDirección de correo verificada de indiana.edu
Tom Murphy VIICarnegie MellonDirección de correo verificada de cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Mark LillibridgeFacebookDirección de correo verificada de cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaDirección de correo verificada de cis.upenn.edu
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesDirección de correo verificada de umn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusDirección de correo verificada de mpi-sws.org
Jonathan SterlingUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
Matthias BlumeGoogleDirección de correo verificada de google.com
Kanat TangwongsanMahidol University International CollegeDirección de correo verificada de mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk

Seguir

Robert Harper

Professor of Computer Science, Carnegie Mellon University

Dirección de correo verificada de andrew.cmu.edu - Página principal

programming languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
The definition of standard ML: revised R Milner MIT press, 1997	4851	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2338	1986
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2077	1993
Practical foundations for programming languages R Harper Cambridge University Press, 2016	523	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	487	1996
Compiling polymorphism using intensional type analysis R Harper, G Morrisett Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	431	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	404	1994
Standard ml R Harper, D MacQueen, R Milner Department of Computer Science, University of Edinburgh, 1986	344	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	292	1996
A language-based approach to security FB Schneider, G Morrisett, R Harper Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001	258	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	228	1989
Introduction to standard ml R Harper, N Rothwell, K Mitchell University of Edinburgh, Department of Computer Science, Laboratory for …, 1989	202	1989
What is a recursive module? K Crary, R Harper, S Puri Proceedings of the ACM SIGPLAN 1999 conference on Programming language …, 1999	190	1999
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	184	2001
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
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	179	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

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores