Skaff deg en Google Scholar-profil
Sitert av
Alle | Siden 2019 | |
---|---|---|
Sitater | 4431 | 1023 |
h-indeks | 36 | 18 |
i10-indeks | 51 | 26 |
Offentlig tilgang
Vis alle1 artikkel
0 artikler
tilgjengelige
ikke tilgjengelige
Basert på finansieringsmandater
Medforfattere
- Andrew KennedyFacebook LondonVerifisert e-postadresse på fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifisert e-postadresse på dpmms.cam.ac.uk
- Gavin BiermanOracleVerifisert e-postadresse på oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerifisert e-postadresse på cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamVerifisert e-postadresse på topos.institute
- Chung-Kil HurSeoul National UniversityVerifisert e-postadresse på sf.snu.ac.kr
- Luca CardelliUniversity of OxfordVerifisert e-postadresse på cs.ox.ac.uk
- Vivek NigamAppleVerifisert e-postadresse på apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerifisert e-postadresse på chalmers.se
- Cédric FournetMicrosoft ResearchVerifisert e-postadresse på microsoft.com
- Lennart BeringerPrinceton UniversityVerifisert e-postadresse på cs.princeton.edu
- Claudio RussoMicrosoft Research LtdVerifisert e-postadresse på microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerifisert e-postadresse på unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerifisert e-postadresse på inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeVerifisert e-postadresse på strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityVerifisert e-postadresse på cmu.edu
- Pierre-Evariste DagandCNRSVerifisert e-postadresse på evr.ist
- nicolas tabareauInriaVerifisert e-postadresse på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifisert e-postadresse på cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerifisert e-postadresse på umn.edu