내 프로필 만들기
공개 액세스
모두 보기자료 23개
자료 1개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Dimitrios VytiniotisDeepMindgoogle.com의 이메일 확인됨
- Philip WadlerUniversity of Edinburgh and IOHK/IOGinf.ed.ac.uk의 이메일 확인됨
- John HughesProfessor of Computer Science and Engineering, Chalmers Universitychalmers.se의 이메일 확인됨
- Paul HudakProfessor of Computer Science, Yale Universityyale.edu의 이메일 확인됨
- John LaunchburyChief Scientist, Galoisgalois.com의 이메일 확인됨
- Stephanie WeirichProfessor of Computer Science, University of Pennsylvaniacis.upenn.edu의 이메일 확인됨
- Manuel M T ChakravartyTweag I/O & IOHKjusttesting.org의 이메일 확인됨
- Erik MeijerMicrosoftmeijcrosoft.com의 이메일 확인됨
- Alastair ReidSenior Principal Engineerintel.com의 이메일 확인됨
- Gabriele KellerUtrecht Universityuu.nl의 이메일 확인됨
- Tim HarrisMicrosoftmicrosoft.com의 이메일 확인됨
- Ralf HinzeProfessor of Software Engineering, TU Kaiserslauterncs.uni-kl.de의 이메일 확인됨
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied Sciencesh-ka.de의 이메일 확인됨
- Christopher D. ClackUniversity College Londoncs.ucl.ac.uk의 이메일 확인됨
- Colin RuncimanProfessor of Computer Science, University of York, UKyork.ac.uk의 이메일 확인됨
- Tom SchrijversProfessor of Computer Science, KU Leuvencs.kuleuven.be의 이메일 확인됨
- Norman RamseyProfessor of Computer Science, Tufts Universitycs.tufts.edu의 이메일 확인됨
- Andy GillCerebrascerebras.net의 이메일 확인됨
- Ralf LämmelUniversity of Koblenzuni-koblenz.de의 이메일 확인됨
- Maurice HerlihyAn Wang Professor of Computer Science, Brown Universitycs.brown.edu의 이메일 확인됨