创建我的个人资料
开放获取的出版物数量
查看全部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 的电子邮件经过验证