Get my own profile
Co-authors
Jérôme VouillonCNRS, Université Paris DiderotVerified email at pps.univ-paris-diderot.fr
Xavier LeroyCollège de FranceVerified email at college-de-france.fr
Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya UniversityVerified email at math.nagoya-u.ac.jp
Cédric FournetMicrosoft ResearchVerified email at microsoft.com
Benjamin C. PierceProfessor of Computer and Information Science, University of PennsylvaniaVerified email at cis.upenn.edu
Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Luca CardelliUniversity of OxfordVerified email at cs.ox.ac.uk
Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa CruzVerified email at cs.ucsc.edu
Jon RieckeGoogle Inc.Verified email at google.com