Obter meu próprio perfil
Citado por
Todos | Desde 2019 | |
---|---|---|
Citações | 4429 | 1021 |
Índice h | 36 | 18 |
Índice i10 | 51 | 26 |
Acesso público
Ver todos1 artigo
0 artigo
disponível
não disponível
Com base nas autorizações de financiamento
Coautores
- Andrew KennedyFacebook LondonE-mail confirmado em fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mail confirmado em dpmms.cam.ac.uk
- Gavin BiermanOracleE-mail confirmado em oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeE-mail confirmado em cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamE-mail confirmado em topos.institute
- Chung-Kil HurSeoul National UniversityE-mail confirmado em sf.snu.ac.kr
- Luca CardelliUniversity of OxfordE-mail confirmado em cs.ox.ac.uk
- Vivek NigamAppleE-mail confirmado em apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityE-mail confirmado em chalmers.se
- Cédric FournetMicrosoft ResearchE-mail confirmado em microsoft.com
- Lennart BeringerPrinceton UniversityE-mail confirmado em cs.princeton.edu
- Claudio RussoMicrosoft Research LtdE-mail confirmado em microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mail confirmado em unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mail confirmado em inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeE-mail confirmado em strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityE-mail confirmado em cmu.edu
- Pierre-Evariste DagandCNRSE-mail confirmado em evr.ist
- nicolas tabareauInriaE-mail confirmado em inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesE-mail confirmado em umn.edu