Skapa en profil
Offentlig åtkomst
Visa alla23 artiklar
2 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Dimitrios VytiniotisDeepMindVerifierad e-postadress på google.com
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerifierad e-postadress på inf.ed.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerifierad e-postadress på chalmers.se
- Paul HudakProfessor of Computer Science, Yale UniversityVerifierad e-postadress på yale.edu
- John LaunchburyChief Scientist, GaloisVerifierad e-postadress på galois.com
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerifierad e-postadress på cis.upenn.edu
- Erik MeijerMicrosoftVerifierad e-postadress på meijcrosoft.com
- Manuel M T ChakravartyTweag I/O & IOHKVerifierad e-postadress på justtesting.org
- Alastair ReidSenior Principal EngineerVerifierad e-postadress på intel.com
- Gabriele KellerUtrecht UniversityVerifierad e-postadress på uu.nl
- Tim HarrisMicrosoftVerifierad e-postadress på microsoft.com
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerifierad e-postadress på cs.uni-kl.de
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerifierad e-postadress på h-ka.de
- Christopher D. ClackUniversity College LondonVerifierad e-postadress på cs.ucl.ac.uk
- Colin RuncimanProfessor of Computer Science, University of York, UKVerifierad e-postadress på york.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenVerifierad e-postadress på cs.kuleuven.be
- Norman RamseyProfessor of Computer Science, Tufts UniversityVerifierad e-postadress på cs.tufts.edu
- Andy GillCerebrasVerifierad e-postadress på cerebras.net
- Ralf LämmelUniversity of KoblenzVerifierad e-postadress på uni-koblenz.de
- Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerifierad e-postadress på cs.brown.edu