Benjamin C. Pierce
Professor of Computer and Information Science, University of Pennsylvania
Verified email at cis.upenn.edu
Cited by 24032
Jeremy G. Siek
Professor of Computer Science, Indiana University
Verified email at indiana.edu
Cited by 6384
Michael Schwartzbach
Professor of Computer Science, Aarhus University
Verified email at cs.au.dk
Cited by 6296
Derek Dreyer
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus
Verified email at mpi-sws.org
Cited by 6021
Vasco T. Vasconcelos
LASIGE, Departamento de Informática, Faculdade de Ciências, Universidade de Lisboa
Verified email at di.fc.ul.pt
Cited by 5422
Mark P. Jones
Professor of Computer Science, Portland State University
Verified email at pdx.edu
Cited by 5402