Crea il mio profilo
Accesso pubblico
Visualizza tutto1 articolo
0 articoli
Disponibili
Non disponibili
In base ai mandati di finanziamento
Coautori
- Andrew KennedyFacebook LondonEmail verificata su fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
- Gavin BiermanOracleEmail verificata su oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeEmail verificata su cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamEmail verificata su topos.institute
- Chung-Kil HurSeoul National UniversityEmail verificata su sf.snu.ac.kr
- Luca CardelliUniversity of OxfordEmail verificata su cs.ox.ac.uk
- Vivek NigamAppleEmail verificata su apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityEmail verificata su chalmers.se
- Cédric FournetMicrosoft ResearchEmail verificata su microsoft.com
- Lennart BeringerPrinceton UniversityEmail verificata su cs.princeton.edu
- Claudio RussoMicrosoft Research LtdEmail verificata su microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityEmail verificata su unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGEmail verificata su inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeEmail verificata su strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityEmail verificata su cmu.edu
- Pierre-Evariste DagandCNRSEmail verificata su evr.ist
- nicolas tabareauInriaEmail verificata su inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesEmail verificata su umn.edu