Crea el meu perfil
Accés públic
Mostra-ho tot1 article
0 articles
disponibles
no disponibles
Es basa en els requisits de les agències que proporcionen el finançament
Coautors
- Andrew KennedyFacebook LondonCorreu electrònic verificat a fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeCorreu electrònic verificat a dpmms.cam.ac.uk
- Gavin BiermanOracleCorreu electrònic verificat a oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamCorreu electrònic verificat a topos.institute
- Chung-Kil HurSeoul National UniversityCorreu electrònic verificat a sf.snu.ac.kr
- Luca CardelliUniversity of OxfordCorreu electrònic verificat a cs.ox.ac.uk
- Vivek NigamAppleCorreu electrònic verificat a apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityCorreu electrònic verificat a chalmers.se
- Cédric FournetMicrosoft ResearchCorreu electrònic verificat a microsoft.com
- Lennart BeringerPrinceton UniversityCorreu electrònic verificat a cs.princeton.edu
- Claudio RussoMicrosoft Research LtdCorreu electrònic verificat a microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityCorreu electrònic verificat a unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGCorreu electrònic verificat a inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeCorreu electrònic verificat a strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityCorreu electrònic verificat a cmu.edu
- Pierre-Evariste DagandCNRSCorreu electrònic verificat a evr.ist
- nicolas tabareauInriaCorreu electrònic verificat a inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityCorreu electrònic verificat a cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesCorreu electrònic verificat a umn.edu
Segueix