Skapa en profil
Offentlig åtkomst
Visa alla1 artikel
0 artiklar
tillgänglig
inte tillgänglig
Enligt krav från finansiärer
Medförfattare
- Andrew KennedyFacebook LondonVerifierad e-postadress på fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeVerifierad e-postadress på dpmms.cam.ac.uk
- Gavin BiermanOracleVerifierad e-postadress på oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeVerifierad e-postadress på cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamVerifierad e-postadress på topos.institute
- Chung-Kil HurSeoul National UniversityVerifierad e-postadress på sf.snu.ac.kr
- Luca CardelliUniversity of OxfordVerifierad e-postadress på cs.ox.ac.uk
- Vivek NigamAppleVerifierad e-postadress på apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityVerifierad e-postadress på chalmers.se
- Cédric FournetMicrosoft ResearchVerifierad e-postadress på microsoft.com
- Lennart BeringerPrinceton UniversityVerifierad e-postadress på cs.princeton.edu
- Claudio RussoMicrosoft Research LtdVerifierad e-postadress på microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityVerifierad e-postadress på unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGVerifierad e-postadress på inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeVerifierad e-postadress på strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityVerifierad e-postadress på cmu.edu
- Pierre-Evariste DagandCNRSVerifierad e-postadress på evr.ist
- nicolas tabareauInriaVerifierad e-postadress på inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityVerifierad e-postadress på cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesVerifierad e-postadress på umn.edu