Get my own profile
Public access
View all22 articles
1 article
available
not available
Based on funding mandates
Co-authors
Karl CraryCarnegie Mellon UniversityVerified email at cs.cmu.edu
Guy BlellochProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Greg MorrisettDean and Professor, Cornell UniversityVerified email at cornell.edu
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
David MacQueenProfessor Emeritus of Computer Science, University of ChicagoVerified email at cs.uchicago.edu
Umut A. AcarCarnegie Mellon University, Department of Computer ScienceVerified email at cs.cmu.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityVerified email at cs.cmu.edu
Carlo AngiuliAssistant Professor, Indiana UniversityVerified email at indiana.edu
Tom Murphy VIICarnegie MellonVerified email at cs.cmu.edu
John C MitchellProfessor of Computer Science, Stanford UniversityVerified email at Stanford.edu
Mark LillibridgeFacebookVerified email at cs.cmu.edu
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerified email at umn.edu
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Jonathan SterlingUniversity of CambridgeVerified email at cl.cam.ac.uk
Matthias BlumeGoogleVerified email at google.com
Kanat TangwongsanMahidol University International CollegeVerified email at mahidol.edu
Phillip GibbonsCarnegie Mellon UniversityVerified email at cs.cmu.edu
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Follow
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Verified email at andrew.cmu.edu - Homepage