Robert Harper

Citované v

	Všetky	Od 2020
Citácie	20401	2447
h-index	56	24
i10-index	142	58

840

420

210

630

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202599 153 202 309 442 493 612 511 654 612 717 683 605 606 686 647 736 759 714 839 710 688 601 488 532 517 462 436 469 477 436 554 473 507 446 442 504 71

Verejný prístup

všetky položky

22 článkov

1 článok

dostupné

nedostupné

Na základe mandátov na financovanie

Spoluautori

Karl CraryCarnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityOverená e-mailová adresa na: cornell.edu
Dan LicataWesleyan UniversityOverená e-mailová adresa na: wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoOverená e-mailová adresa na: cs.uchicago.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceOverená e-mailová adresa na: cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityOverená e-mailová adresa na: indiana.edu
Tom Murphy VIICarnegie MellonOverená e-mailová adresa na: cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityOverená e-mailová adresa na: Stanford.edu
Mark LillibridgeFacebookOverená e-mailová adresa na: cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaOverená e-mailová adresa na: cis.upenn.edu
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesOverená e-mailová adresa na: umn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghOverená e-mailová adresa na: inf.ed.ac.uk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusOverená e-mailová adresa na: mpi-sws.org
Jonathan SterlingUniversity of CambridgeOverená e-mailová adresa na: cl.cam.ac.uk
Matthias BlumeGoogleOverená e-mailová adresa na: google.com
Kanat TangwongsanMahidol University International CollegeOverená e-mailová adresa na: mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityOverená e-mailová adresa na: cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityOverená e-mailová adresa na: cs.au.dk

Sledovať

Robert Harper

Professor of Computer Science, Carnegie Mellon University

Overená e-mailová adresa na: andrew.cmu.edu - Domovská stránka

programming languages


Názov Zoradiť podľa citácií Zoradiť podľa roka Zoradiť podľa názvu	Citované v Citované v	Rok
The definition of standard ML: revised R Milner MIT press, 1997	4866	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2356	1986
A framework for defining logics R Harper, F Honsell, G Plotkin Journal of the ACM (JACM) 40 (1), 143-184, 1993	2080	1993
Practical foundations for programming languages R Harper Cambridge University Press, 2016	521	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	434	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	346	1986
Commentary on standard ML R Milner, M Tofte MIT press, 1991	331	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	255	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	200	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 type structure of Standard ML R Harper, JC Mitchell Acm transactions on programming languages and systems (toplas) 15 (2), 211-252, 1993	183	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	181	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	180	2007
Abstract models of memory management G Morrisett, M Felleisen, R Harper Proceedings of the seventh international conference on Functional …, 1995	171	1995
The essence of ML JC Mitchell, R Harper Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of …, 1988	162	1988
On equivalence and canonical forms in the LF type theory R Harper, F Pfenning ACM Transactions on Computational Logic (TOCL) 6 (1), 61-101, 2005	157	2005

Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.

Články 1–20

Citácie za rok

Duplicitné citácie

Zlúčené citácie

Pridať spoluautorovSpoluautori

Sledovať

Citované v

Spoluautori