Obtenir mon propre profil
Citée par
Toutes | Depuis 2019 | |
---|---|---|
Citations | 4435 | 1030 |
indice h | 36 | 18 |
indice i10 | 51 | 29 |
Accès public
Tout afficher1 article
0 article
disponibles
non disponibles
Sur la base des exigences liées au financement
Coauteurs
- Andrew KennedyFacebook LondonAdresse e-mail validée de fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeAdresse e-mail validée de dpmms.cam.ac.uk
- Gavin BiermanOracleAdresse e-mail validée de oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamAdresse e-mail validée de topos.institute
- Chung-Kil HurSeoul National UniversityAdresse e-mail validée de sf.snu.ac.kr
- Luca CardelliUniversity of OxfordAdresse e-mail validée de cs.ox.ac.uk
- Vivek NigamAppleAdresse e-mail validée de apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityAdresse e-mail validée de chalmers.se
- Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
- Lennart BeringerPrinceton UniversityAdresse e-mail validée de cs.princeton.edu
- Claudio RussoMicrosoft Research LtdAdresse e-mail validée de microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityAdresse e-mail validée de unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeAdresse e-mail validée de strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityAdresse e-mail validée de cmu.edu
- Pierre-Evariste DagandCNRSAdresse e-mail validée de evr.ist
- nicolas tabareauInriaAdresse e-mail validée de inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityAdresse e-mail validée de cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesAdresse e-mail validée de umn.edu