Get my own profile
Public access
View all23 articles
2 articles
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