建立我自己的個人學術檔案
公開取用
查看全部10 篇文章
0 篇文章
可供使用
無法使用
根據資金強制性政策
共同作者
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruz在 cs.ucsc.edu 的電子郵件地址已通過驗證
- John PowerHonorary Professor in Computing, Macquarie University在 bath.edu 的電子郵件地址已通過驗證
- Glynn WinskelUniversity of Cambridge在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Prakash PanangadenProfessor of Computer Science, McGill University在 cs.mcgill.ca 的電子郵件地址已通過驗證
- Radu MardareProfessor, University of Strathclyde在 strath.ac.uk 的電子郵件地址已通過驗證
- Marcelo FioreProfessor in Mathematical Foundations of Computer Science在 cl.cam.ac.uk 的電子郵件地址已通過驗證
- Mogens NielsenProfessor of Computer Science, Aarhus University在 cs.au.dk 的電子郵件地址已通過驗證
- Luca CardelliUniversity of Oxford在 cs.ox.ac.uk 的電子郵件地址已通過驗證
- Robert HarperProfessor of Computer Science, Carnegie Mellon University在 andrew.cmu.edu 的電子郵件地址已通過驗證
- David MacQueenProfessor Emeritus of Computer Science, University of Chicago在 cs.uchicago.edu 的電子郵件地址已通過驗證
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadt在 mathematik.tu-darmstadt.de 的電子郵件地址已通過驗證
- matthew hennessyProfessor of Computer Science在 cs.tcd.ie 的電子郵件地址已通過驗證
- Martin HylandProfessor of Mathematical Logic, Cambridge在 dpmms.cam.ac.uk 的電子郵件地址已通過驗證
- Rob van GlabbeekUNSW在 cs.stanford.edu 的電子郵件地址已通過驗證
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physics在 fmf.uni-lj.si 的電子郵件地址已通過驗證
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvania在 cis.upenn.edu 的電子郵件地址已通過驗證
- Butler LampsonTechnical Fellow, Microsoft Research在 lampsons.us 的電子郵件地址已通過驗證
- John C MitchellProfessor of Computer Science, Stanford University在 Stanford.edu 的電子郵件地址已通過驗證
- Andrew J. MillarUniversity of Edinburgh在 ed.ac.uk 的電子郵件地址已通過驗證
- Argyris ZardilisSainsbury Laboratory, Cambridge University在 slcu.cam.ac.uk 的電子郵件地址已通過驗證
追蹤
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
在 inf.ed.ac.uk 的電子郵件地址已通過驗證