Robert Harper

Cytowane przez

	Wszystkie	Od 2019
Cytowania	20270	2908
h-indeks	56	27
i10-indeks	142	69

840

420

210

630

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024103 154 202 301 438 494 617 509 663 608 705 678 600 604 678 655 742 753 709 832 716 681 601 484 526 516 464 433 472 473 442 557 469 505 443 452 479

Dostęp publiczny

Wyświetl wszystko

22 artykuły

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Karl CraryCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityZweryfikowany adres z cornell.edu
Dan LicataWesleyan UniversityZweryfikowany adres z wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoZweryfikowany adres z cs.uchicago.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceZweryfikowany adres z cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityZweryfikowany adres z indiana.edu
Tom Murphy VIICarnegie MellonZweryfikowany adres z cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityZweryfikowany adres z Stanford.edu
Mark LillibridgeFacebookZweryfikowany adres z cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaZweryfikowany adres z cis.upenn.edu
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesZweryfikowany adres z umn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghZweryfikowany adres z inf.ed.ac.uk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusZweryfikowany adres z mpi-sws.org
Jonathan SterlingUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
Matthias BlumeGoogleZweryfikowany adres z google.com
Kanat TangwongsanMahidol University International CollegeZweryfikowany adres z mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityZweryfikowany adres z cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk

Obserwuj

Robert Harper

Professor of Computer Science, Carnegie Mellon University

Zweryfikowany adres z andrew.cmu.edu - Strona główna

programming languages


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
The definition of standard ML: revised R Milner MIT press, 1997	4842	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2329	1986
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2073	1993
Practical foundations for programming languages R Harper Cambridge University Press, 2016	516	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	429	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	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	227	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	189	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	182	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

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy