Crear mi propio perfil
Citado por
Total | Desde 2019 | |
---|---|---|
Citas | 4435 | 1030 |
Índice h | 36 | 18 |
Índice i10 | 51 | 29 |
Acceso público
Ver todo1 artículo
0 artículos
disponibles
no disponibles
Basado en requisitos de financiación
Coautores
- Andrew KennedyFacebook LondonDirección de correo verificada de fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeDirección de correo verificada de dpmms.cam.ac.uk
- Gavin BiermanOracleDirección de correo verificada de oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeDirección de correo verificada de cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamDirección de correo verificada de topos.institute
- Chung-Kil HurSeoul National UniversityDirección de correo verificada de sf.snu.ac.kr
- Luca CardelliUniversity of OxfordDirección de correo verificada de cs.ox.ac.uk
- Vivek NigamAppleDirección de correo verificada de apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityDirección de correo verificada de chalmers.se
- Cédric FournetMicrosoft ResearchDirección de correo verificada de microsoft.com
- Lennart BeringerPrinceton UniversityDirección de correo verificada de cs.princeton.edu
- Claudio RussoMicrosoft Research LtdDirección de correo verificada de microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityDirección de correo verificada de unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGDirección de correo verificada de inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeDirección de correo verificada de strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityDirección de correo verificada de cmu.edu
- Pierre-Evariste DagandCNRSDirección de correo verificada de evr.ist
- nicolas tabareauInriaDirección de correo verificada de inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityDirección de correo verificada de cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesDirección de correo verificada de umn.edu
Seguir