내 프로필 만들기
공개 액세스
모두 보기자료 9개
자료 0개
공개
비공개
재정 지원 요구사항 기준
공동 저자
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campusmpi-sws.org의 이메일 확인됨
- Aleksandar NanevskiIMDEA Software Instituteimdea.org의 이메일 확인됨
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot Universitypps.univ-paris-diderot.fr의 이메일 확인됨
- Georges GonthierPrincipal Researcher, Microsoft Researchmicrosoft.com의 이메일 확인됨
- Neelakantan R. KrishnaswamiUniversity of Cambridgecl.cam.ac.uk의 이메일 확인됨
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)mpi-sws.org의 이메일 확인됨
- Matthieu SozeauResarcher, Inria Paris and PPSinria.fr의 이메일 확인됨
- Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de Goiásinf.ufg.br의 이메일 확인됨
- Fabio Mascarenhassama.comsama.com의 이메일 확인됨
- Robbert KrebbersAssociate Professor, Radboud University Nijmegencs.ru.nl의 이메일 확인됨
- Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAMciencias.unam.mx의 이메일 확인됨
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICETunc.edu.ar의 이메일 확인됨
- Francisco TruccoUniversity of Groningenrug.nl의 이메일 확인됨
- Ignacio TiraboschiPhD Student, ENS Paris - INRIAinria.fr의 이메일 확인됨
- RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro Pretoufop.edu.br의 이메일 확인됨