Buat profil saya
Dikutip oleh
Semua | Sejak 2019 | |
---|---|---|
Kutipan | 32847 | 5419 |
indeks-h | 85 | 40 |
indeks-i10 | 290 | 137 |
Akses publik
Lihat semua23 artikel
1 artikel
tersedia
tidak tersedia
Berdasarkan pada mandat pendanaan
Pengarang bersama
- Dimitrios VytiniotisDeepMindEmail yang diverifikasi di google.com
- Philip WadlerUniversity of Edinburgh and IOHK/IOGEmail yang diverifikasi di inf.ed.ac.uk
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityEmail yang diverifikasi di chalmers.se
- Paul HudakProfessor of Computer Science, Yale UniversityEmail yang diverifikasi di yale.edu
- John LaunchburyChief Scientist, GaloisEmail yang diverifikasi di galois.com
- Stephanie WeirichProfessor of Computer Science, University of PennsylvaniaEmail yang diverifikasi di cis.upenn.edu
- Manuel M T ChakravartyTweag I/O & IOHKEmail yang diverifikasi di justtesting.org
- Erik MeijerMicrosoftEmail yang diverifikasi di meijcrosoft.com
- Alastair ReidSenior Principal EngineerEmail yang diverifikasi di intel.com
- Gabriele KellerUtrecht UniversityEmail yang diverifikasi di uu.nl
- Tim HarrisMicrosoftEmail yang diverifikasi di microsoft.com
- Ralf HinzeProfessor of Software Engineering, TU KaiserslauternEmail yang diverifikasi di cs.uni-kl.de
- Martin SulzmannProfessor of Computer Science, Karlsruhe University of Applied SciencesEmail yang diverifikasi di h-ka.de
- Christopher D. ClackUniversity College LondonEmail yang diverifikasi di cs.ucl.ac.uk
- Colin RuncimanProfessor of Computer Science, University of York, UKEmail yang diverifikasi di york.ac.uk
- Tom SchrijversProfessor of Computer Science, KU LeuvenEmail yang diverifikasi di cs.kuleuven.be
- Norman RamseyProfessor of Computer Science, Tufts UniversityEmail yang diverifikasi di cs.tufts.edu
- Andy GillCerebrasEmail yang diverifikasi di cerebras.net
- Ralf LämmelUniversity of KoblenzEmail yang diverifikasi di uni-koblenz.de
- Maurice HerlihyAn Wang Professor of Computer Science, Brown UniversityEmail yang diverifikasi di cs.brown.edu