Utwórz swój profil
Cytowane przez
Wszystkie | Od 2019 | |
---|---|---|
Cytowania | 4431 | 1023 |
h-indeks | 36 | 18 |
i10-indeks | 51 | 26 |
Dostęp publiczny
Wyświetl wszystko1 artykuł
0 artykułów
dostępne
niedostępne
Objęte finansowaniem
Współautorzy
- Andrew KennedyFacebook LondonZweryfikowany adres z fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeZweryfikowany adres z dpmms.cam.ac.uk
- Gavin BiermanOracleZweryfikowany adres z oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeZweryfikowany adres z cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamZweryfikowany adres z topos.institute
- Chung-Kil HurSeoul National UniversityZweryfikowany adres z sf.snu.ac.kr
- Luca CardelliUniversity of OxfordZweryfikowany adres z cs.ox.ac.uk
- Vivek NigamAppleZweryfikowany adres z apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityZweryfikowany adres z chalmers.se
- Cédric FournetMicrosoft ResearchZweryfikowany adres z microsoft.com
- Lennart BeringerPrinceton UniversityZweryfikowany adres z cs.princeton.edu
- Claudio RussoMicrosoft Research LtdZweryfikowany adres z microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityZweryfikowany adres z unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGZweryfikowany adres z inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeZweryfikowany adres z strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityZweryfikowany adres z cmu.edu
- Pierre-Evariste DagandCNRSZweryfikowany adres z evr.ist
- nicolas tabareauInriaZweryfikowany adres z inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityZweryfikowany adres z cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesZweryfikowany adres z umn.edu