Robert Harper

Dikutip oleh

	Semua	Sejak 2020
Kutipan	20425	2471
indeks-h	56	24
indeks-i10	142	58

840

420

210

630

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202599 153 202 309 442 493 612 510 654 613 717 684 605 606 686 648 736 758 717 837 710 692 602 489 527 513 462 436 469 477 437 554 472 511 446 439 508 91

Akses publik

Lihat semua

22 artikel

1 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

Karl CraryCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityEmail yang diverifikasi di cornell.edu
Dan LicataWesleyan UniversityEmail yang diverifikasi di wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoEmail yang diverifikasi di cs.uchicago.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceEmail yang diverifikasi di cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityEmail yang diverifikasi di indiana.edu
Tom Murphy VIICarnegie MellonEmail yang diverifikasi di cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityEmail yang diverifikasi di Stanford.edu
Mark LillibridgeFacebookEmail yang diverifikasi di cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesEmail yang diverifikasi di umn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail yang diverifikasi di inf.ed.ac.uk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusEmail yang diverifikasi di mpi-sws.org
Jonathan SterlingUniversity of CambridgeEmail yang diverifikasi di cl.cam.ac.uk
Matthias BlumeGoogleEmail yang diverifikasi di google.com
Kanat TangwongsanMahidol University International CollegeEmail yang diverifikasi di mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityEmail yang diverifikasi di cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail yang diverifikasi di cs.au.dk

Ikuti

Robert Harper

Professor of Computer Science, Carnegie Mellon University

Email yang diverifikasi di andrew.cmu.edu - Beranda

programming languages


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
The definition of standard ML: revised R Milner MIT press, 1997	4870	1997
Implementing mathematics RL Constable, SF Allen, HM Bromley, WR Cleaveland, JF Cremer, ... Prentice-Hall, 1986	2357	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	524	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	347	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	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	229	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

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama