내 프로필 만들기
공개 액세스
모두 보기자료 10개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Martin AbadiResearch Scientist, Google, and Professor Emeritus, UC Santa Cruzcs.ucsc.edu의 이메일 확인됨
- John PowerHonorary Professor in Computing, Macquarie Universitybath.edu의 이메일 확인됨
- Glynn WinskelUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Prakash PanangadenProfessor of Computer Science, McGill Universitycs.mcgill.ca의 이메일 확인됨
- Radu MardareProfessor, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Marcelo FioreProfessor in Mathematical Foundations of Computer Sciencecl.cam.ac.uk의 이메일 확인됨
- Mogens NielsenProfessor of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Luca CardelliUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Robert HarperProfessor of Computer Science, Carnegie Mellon Universityandrew.cmu.edu의 이메일 확인됨
- David MacQueenProfessor Emeritus of Computer Science, University of Chicagocs.uchicago.edu의 이메일 확인됨
- Klaus KeimelProfessor of Mathematics, Technische Universitaet Darmstadtmathematik.tu-darmstadt.de의 이메일 확인됨
- matthew hennessyProfessor of Computer Sciencecs.tcd.ie의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Rob van GlabbeekUNSWcs.stanford.edu의 이메일 확인됨
- Matija PretnarUniversity of Ljubljana, Faculty of Mathematics and Physicsfmf.uni-lj.si의 이메일 확인됨
- Benjamin C. PierceProfessor of Computer and Information Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Butler LampsonTechnical Fellow, Microsoft Researchlampsons.us의 이메일 확인됨
- John C MitchellProfessor of Computer Science, Stanford UniversityStanford.edu의 이메일 확인됨
- Andrew J. MillarUniversity of Edinburghed.ac.uk의 이메일 확인됨
- Argyris ZardilisSainsbury Laboratory, Cambridge Universityslcu.cam.ac.uk의 이메일 확인됨
팔로우
Gordon Plotkin
Laboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh
inf.ed.ac.uk의 이메일 확인됨