建立我自己的個人學術檔案
共同作者
- Jérôme VouillonCNRS, Université Paris Diderot在 pps.univ-paris-diderot.fr 的電子郵件地址已通過驗證
- Xavier LeroyCollège de France在 college-de-france.fr 的電子郵件地址已通過驗證
- Jacques GarrigueProfessor, Graduate School of Mathematics, Nagoya University在 math.nagoya-u.ac.jp 的電子郵件地址已通過驗證
- Cédric FournetMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Carl A. GunterGeorge and Ann Fisher Distinguished Professor, University of Illinois at Urbana-Champaign在 illinois.edu 的電子郵件地址已通過驗證
- Luca CardelliUniversity of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的電子郵件地址已通過驗證
- Jon RieckeGoogle Inc.在 google.com 的電子郵件地址已通過驗證