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