建立我自己的個人學術檔案
共同作者
- Erik MeijerMicrosoft在 meijcrosoft.com 的電子郵件地址已通過驗證
- Matthew J. ParkinsonMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Valeria de PaivaUniversity of Birmingham在 topos.institute 的電子郵件地址已通過驗證
- Nick BentonEngineering Manager, Facebook在 fb.com 的電子郵件地址已通過驗證
- Wolfram SchultePrincipal researcher, Microsoft Corporation在 microsoft.com 的電子郵件地址已通過驗證
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的電子郵件地址已通過驗證
- Andrew D GordonMicrosoft Research and University of Edinburgh在 microsoft.com 的電子郵件地址已通過驗證
- Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Iulian NeamtiuProfessor of Computer Science, New Jersey Institute of Technology在 njit.edu 的電子郵件地址已通過驗證
- Cédric FournetMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- James NobleCreative Research & Programming在 acm.org 的電子郵件地址已通過驗證
- Stratis ViglasGoogle在 google.com 的電子郵件地址已通過驗證
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的電子郵件地址已通過驗證
- Claudio RussoMicrosoft Research Ltd在 microsoft.com 的電子郵件地址已通過驗證
- Cătălin HrițcuTenured Faculty at MPI-SP在 mpi-sp.org 的電子郵件地址已通過驗證
- Christian UrbanKing's College London在 kcl.ac.uk 的電子郵件地址已通過驗證
- Fabian NagelAmazon Web Services在 amazon.com 的電子郵件地址已通過驗證
- Karthikeyan BhargavanINRIA在 inria.fr 的電子郵件地址已通過驗證
- Geoffrey MainlandAssociate Professor of Computer Science, Drexel University在 drexel.edu 的電子郵件地址已通過驗證
- Ewan TemperoUniversity of Auckland, Victoria University of Wellington在 auckland.ac.nz 的電子郵件地址已通過驗證