Get my own profile
Public access
View all25 articles
1 article
available
not available
Based on funding mandates
Co-authors
Dimitrios VytiniotisDeepMindVerified email at google.com
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerified email at chalmers.se
Paul HudakProfessor of Computer Science, Yale UniversityVerified email at yale.edu
John LaunchburyChief Scientist, GaloisVerified email at galois.com
Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Erik MeijerMicrosoftVerified email at meijcrosoft.com
Manuel M T ChakravartyTweag I/O & IOHKVerified email at justtesting.org
Alastair ReidSenior Principal EngineerVerified email at intel.com
Gabriele KellerUtrecht UniversityVerified email at uu.nl
Tim HarrisMicrosoftVerified email at microsoft.com
Ralf HinzeProfessor of Software Engineering, TU KaiserslauternVerified email at cs.uni-kl.de
Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesVerified email at h-ka.de
Christopher D. ClackUniversity College LondonVerified email at cs.ucl.ac.uk
Colin RuncimanProfessor of Computer Science, University of York, UKVerified email at york.ac.uk
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Norman RamseyProfessor of Computer Science, Tufts UniversityVerified email at cs.tufts.edu
Andy GillCerebrasVerified email at cerebras.net
Ralf LämmelUniversity of KoblenzVerified email at uni-koblenz.de
Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityVerified email at cs.brown.edu