Ustvarite profil
Navedeno
Vse | Od leta 2019 | |
---|---|---|
Navedbe | 4435 | 1030 |
indeks h | 36 | 18 |
indeks i10 | 51 | 29 |
Javni dostop
Prikaži vse1 članek
0 člankov
na voljo
ni na voljo
Na podlagi zahtev v povezavi s financiranjem
Soavtorji
- Andrew KennedyFacebook LondonPreverjeni e-poštni naslov na fb.com
- Martin HylandProfessor of Mathematical Logic, CambridgePreverjeni e-poštni naslov na dpmms.cam.ac.uk
- Gavin BiermanOraclePreverjeni e-poštni naslov na oracle.com
- Neelakantan R. KrishnaswamiUniversity of CambridgePreverjeni e-poštni naslov na cl.cam.ac.uk
- Valeria de PaivaUniversity of BirminghamPreverjeni e-poštni naslov na topos.institute
- Chung-Kil HurSeoul National UniversityPreverjeni e-poštni naslov na sf.snu.ac.kr
- Luca CardelliUniversity of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
- Vivek NigamApplePreverjeni e-poštni naslov na apple.com
- John HughesProfessor of Computer Science and Engineering, Chalmers UniversityPreverjeni e-poštni naslov na chalmers.se
- Cédric FournetMicrosoft ResearchPreverjeni e-poštni naslov na microsoft.com
- Lennart BeringerPrinceton UniversityPreverjeni e-poštni naslov na cs.princeton.edu
- Claudio RussoMicrosoft Research LtdPreverjeni e-poštni naslov na microsoft.com
- Eugenio MoggiProfessor of Computer Science, Genova UniversityPreverjeni e-poštni naslov na unige.it
- Philip WadlerUniversity of Edinburgh and IOHK/IOGPreverjeni e-poštni naslov na inf.ed.ac.uk
- Conor McBrideReader, University of StrathclydePreverjeni e-poštni naslov na strath.ac.uk
- Jan HoffmannCarnegie Mellon UniversityPreverjeni e-poštni naslov na cmu.edu
- Pierre-Evariste DagandCNRSPreverjeni e-poštni naslov na evr.ist
- nicolas tabareauInriaPreverjeni e-poštni naslov na inria.fr
- Lars BirkedalDept. of Computer Science, Aarhus UniversityPreverjeni e-poštni naslov na cs.au.dk
- Kuen-Bang Hou (Favonia)University of Minnesota, Twin CitiesPreverjeni e-poštni naslov na umn.edu
Spremljaj