Obtenir mon propre profil
Citée par
Toutes | Depuis 2020 | |
---|---|---|
Citations | 4557 | 900 |
indice h | 36 | 16 |
indice i10 | 51 | 25 |
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 PaivaTopos Institute, University 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
Lennart BeringerAdresse e-mail validée de pm.me
Cédric FournetMicrosoft ResearchAdresse e-mail validée de microsoft.com
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