Robert Harper

Citado por

	Total	Desde 2019
Citas	20244	2902
Índice h	56	27
Índice i10	141	68

840

420

210

630

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024103 154 202 301 438 494 617 509 661 610 705 682 600 604 678 655 742 752 710 835 713 681 601 484 526 516 462 435 465 473 440 557 469 505 445 450 474

Acceso público

Ver todo

22 artículos

0 artículos

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
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceDirecció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
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghDirección de correo verificada de inf.ed.ac.uk
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesDirección de correo verificada de umn.edu
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	4841	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2327	1986
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2068	1993
Practical foundations for programming languages R Harper Cambridge University Press, 2016	515	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	486	1996
Compiling polymorphism using intensional type analysis R Harper, G Morrisett Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of …, 1995	428	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	402	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	291	1996
A language-based approach to security FB Schneider, G Morrisett, R Harper Informatics: 10 Years Back, 10 Years Ahead, 86-101, 2001	257	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	225	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	180	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	177	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