Založit si vlastní profil
Veřejný přístup
Zobrazit všechny1 článek
0 článků
dostupné
nedostupné
Vychází ze zplnomocnění pro financování
Spoluautoři
- Andrew KennedyFacebook LondonE-mailová adresa ověřena na: fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgeE-mailová adresa ověřena na: dpmms.cam.ac.uk
- Gavin BiermanOracleE-mailová adresa ověřena na: oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgeE-mailová adresa ověřena na: cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamE-mailová adresa ověřena na: topos.institute
- Chung-Kil HurSeoul National UniversityE-mailová adresa ověřena na: sf.snu.ac.kr
- Luca CardelliUniversity of OxfordE-mailová adresa ověřena na: cs.ox.ac.uk
- Vivek NigamAppleE-mailová adresa ověřena na: apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityE-mailová adresa ověřena na: chalmers.se
- Cédric FournetMicrosoft ResearchE-mailová adresa ověřena na: microsoft.com
- Lennart BeringerPrinceton UniversityE-mailová adresa ověřena na: cs.princeton.edu
- Claudio RussoMicrosoft Research LtdE-mailová adresa ověřena na: microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mailová adresa ověřena na: unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGE-mailová adresa ověřena na: inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydeE-mailová adresa ověřena na: strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityE-mailová adresa ověřena na: cmu.edu
- Pierre-Evariste DagandCNRSE-mailová adresa ověřena na: evr.ist
- nicolas tabareauInriaE-mailová adresa ověřena na: inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mailová adresa ověřena na: cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesE-mailová adresa ověřena na: umn.edu
Sledovat