建立我自己的個人學術檔案
公開取用
查看全部1 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Andrew KennedyFacebook London在 fb.com 的電子郵件地址已通過驗證
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的電子郵件地址已通過驗證
- Gavin BiermanOracle在 oracle.com 的電子郵件地址已通過驗證
- Neelakantan R. KrishnaswamiUniversity of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Valeria de PaivaUniversity of Birmingham在 topos.institute 的電子郵件地址已通過驗證
- Chung-Kil HurSeoul National University在 sf.snu.ac.kr 的電子郵件地址已通過驗證
- Luca CardelliUniversity of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Vivek NigamApple在 apple.com 的電子郵件地址已通過驗證
- John HughesProfessor of Computer Science and Engineering, Chalmers University在 chalmers.se 的電子郵件地址已通過驗證
- Cédric FournetMicrosoft Research在 microsoft.com 的電子郵件地址已通過驗證
- Lennart BeringerPrinceton University在 cs.princeton.edu 的電子郵件地址已通過驗證
- Claudio RussoMicrosoft Research Ltd在 microsoft.com 的電子郵件地址已通過驗證
- Eugenio MoggiProfessor of Computer Science, Genova University在 unige.it 的電子郵件地址已通過驗證
- Philip WadlerUniversity of Edinburgh and IOHK/IOG在 inf.ed.ac.uk 的電子郵件地址已通過驗證
- Conor McBrideReader, University of Strathclyde在 strath.ac.uk 的電子郵件地址已通過驗證
- Jan HoffmannCarnegie Mellon University在 cmu.edu 的電子郵件地址已通過驗證
- Pierre-Evariste DagandCNRS在 evr.ist 的電子郵件地址已通過驗證
- nicolas tabareauInria在 inria.fr 的電子郵件地址已通過驗證
- Lars BirkedalDept. of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin Cities在 umn.edu 的電子郵件地址已通過驗證