Mijn eigen profiel maken
Openbare toegang
Alles bekijken1 artikel
0 artikelen
beschikbaar
niet beschikbaar
Op basis van financieringsmachtigingen
Medeauteurs
- Andrew KennedyFacebook LondonGeverifieerd e-mailadres voor fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeGeverifieerd e-mailadres voor dpmms.cam.ac.uk
- Gavin BiermanOracleGeverifieerd e-mailadres voor oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeGeverifieerd e-mailadres voor cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamGeverifieerd e-mailadres voor topos.institute
- Chung-Kil HurSeoul National UniversityGeverifieerd e-mailadres voor sf.snu.ac.kr
- Luca CardelliUniversity of OxfordGeverifieerd e-mailadres voor cs.ox.ac.uk
- Vivek NigamAppleGeverifieerd e-mailadres voor apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityGeverifieerd e-mailadres voor chalmers.se
- Cédric FournetMicrosoft ResearchGeverifieerd e-mailadres voor microsoft.com
- Lennart BeringerPrinceton UniversityGeverifieerd e-mailadres voor cs.princeton.edu
- Claudio RussoMicrosoft Research LtdGeverifieerd e-mailadres voor microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityGeverifieerd e-mailadres voor unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGGeverifieerd e-mailadres voor inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeGeverifieerd e-mailadres voor strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityGeverifieerd e-mailadres voor cmu.edu
- Pierre-Evariste DagandCNRSGeverifieerd e-mailadres voor evr.ist
- nicolas tabareauInriaGeverifieerd e-mailadres voor inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityGeverifieerd e-mailadres voor cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesGeverifieerd e-mailadres voor umn.edu