Få min egen profil
Citeret af
Alle | Siden 2019 | |
---|---|---|
Henvisninger | 4431 | 1023 |
h-index | 36 | 18 |
i10-indeks | 51 | 26 |
Offentlig adgang
Se alle1 artikel
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
- Andrew KennedyFacebook LondonVerificeret mail på fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeVerificeret mail på dpmms.cam.ac.uk
- Gavin BiermanOracleVerificeret mail på oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerificeret mail på cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamVerificeret mail på topos.institute
- Chung-Kil HurSeoul National UniversityVerificeret mail på sf.snu.ac.kr
- Luca CardelliUniversity of OxfordVerificeret mail på cs.ox.ac.uk
- Vivek NigamAppleVerificeret mail på apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerificeret mail på chalmers.se
- Cédric FournetMicrosoft ResearchVerificeret mail på microsoft.com
- Lennart BeringerPrinceton UniversityVerificeret mail på cs.princeton.edu
- Claudio RussoMicrosoft Research LtdVerificeret mail på microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerificeret mail på unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerificeret mail på inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeVerificeret mail på strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityVerificeret mail på cmu.edu
- Pierre-Evariste DagandCNRSVerificeret mail på evr.ist
- nicolas tabareauInriaVerificeret mail på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerificeret mail på cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerificeret mail på umn.edu