내 프로필 만들기
공개 액세스
모두 보기자료 1개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Andrew KennedyFacebook Londonfb.com의 이메일 확인됨
- Martin HylandProfessor of Mathematical Logic, Cambridgedpmms.cam.ac.uk의 이메일 확인됨
- Gavin BiermanOracleoracle.com의 이메일 확인됨
- Neelakantan R. KrishnaswamiUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Valeria de PaivaUniversity of Birminghamtopos.institute의 이메일 확인됨
- Chung-Kil HurSeoul National Universitysf.snu.ac.kr의 이메일 확인됨
- Luca CardelliUniversity of Oxfordcs.ox.ac.uk의 이메일 확인됨
- Vivek NigamAppleapple.com의 이메일 확인됨
- John HughesProfessor of Computer Science and Engineering, Chalmers Universitychalmers.se의 이메일 확인됨
- Cédric FournetMicrosoft Researchmicrosoft.com의 이메일 확인됨
- Lennart BeringerPrinceton Universitycs.princeton.edu의 이메일 확인됨
- Claudio RussoMicrosoft Research Ltdmicrosoft.com의 이메일 확인됨
- Eugenio MoggiProfessor of Computer Science, Genova Universityunige.it의 이메일 확인됨
- Philip WadlerUniversity of Edinburgh and IOHK/IOGinf.ed.ac.uk의 이메일 확인됨
- Conor McBrideReader, University of Strathclydestrath.ac.uk의 이메일 확인됨
- Jan HoffmannCarnegie Mellon Universitycmu.edu의 이메일 확인됨
- Pierre-Evariste DagandCNRSevr.ist의 이메일 확인됨
- nicolas tabareauInriainria.fr의 이메일 확인됨
- Lars BirkedalDept. of Computer Science, Aarhus Universitycs.au.dk의 이메일 확인됨
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin Citiesumn.edu의 이메일 확인됨