Get my own profile
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
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
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
Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerified email at umn.edu
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Matthias BlumeGoogleVerified email at google.com
Jonathan SterlingUniversity of CambridgeVerified email at cl.cam.ac.uk
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
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Joseph TassarottiAssistant Professor, New York UniversityVerified email at nyu.edu
Follow![Robert Harper](https://scholar.googleusercontent.com/citations?view_op=view_photo&user=hbpHGtQAAAAJ&citpid=1)
Robert Harper
Professor of Computer Science, Carnegie Mellon University
Verified email at cs.cmu.edu - Homepage