Saját profil készítése
Hivatkozott rá
Összes | 2019 óta | |
---|---|---|
Hivatkozások | 4431 | 1023 |
h-index | 36 | 18 |
i10-index | 51 | 26 |
Nyilvános hozzáférés
Összes megtekintése1 cikk
0 cikk
elérhető
nem érhető el
Finanszírozási megbízások alapján
Társszerzők
- Andrew KennedyFacebook LondonE-mail megerősítve itt: fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mail megerősítve itt: dpmms.cam.ac.uk
- Gavin BiermanOracleE-mail megerősítve itt: oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeE-mail megerősítve itt: cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamE-mail megerősítve itt: topos.institute
- Chung-Kil HurSeoul National UniversityE-mail megerősítve itt: sf.snu.ac.kr
- Luca CardelliUniversity of OxfordE-mail megerősítve itt: cs.ox.ac.uk
- Vivek NigamAppleE-mail megerősítve itt: apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityE-mail megerősítve itt: chalmers.se
- Cédric FournetMicrosoft ResearchE-mail megerősítve itt: microsoft.com
- Lennart BeringerPrinceton UniversityE-mail megerősítve itt: cs.princeton.edu
- Claudio RussoMicrosoft Research LtdE-mail megerősítve itt: microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mail megerősítve itt: unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mail megerősítve itt: inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeE-mail megerősítve itt: strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityE-mail megerősítve itt: cmu.edu
- Pierre-Evariste DagandCNRSE-mail megerősítve itt: evr.ist
- nicolas tabareauInriaE-mail megerősítve itt: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail megerősítve itt: cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesE-mail megerősítve itt: umn.edu