自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus確認したメール アドレス: mpi-sws.org
- Aleksandar NanevskiIMDEA Software Institute確認したメール アドレス: imdea.org
- Yann Régis-GianasIRIF, CNRS, INRIA, Paris Diderot University確認したメール アドレス: pps.univ-paris-diderot.fr
- Georges GonthierPrincipal Researcher, Microsoft Research確認したメール アドレス: microsoft.com
- Neelakantan R. KrishnaswamiUniversity of Cambridge確認したメール アドレス: cl.cam.ac.uk
- Viktor VafeiadisMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)確認したメール アドレス: mpi-sws.org
- Matthieu SozeauResarcher, Inria Paris and PPS確認したメール アドレス: inria.fr
- Bruno SilvestreProfessor do Instituto de Informática, Universidade Federal de Goiás確認したメール アドレス: inf.ufg.br
- Fabio Mascarenhassama.com確認したメール アドレス: sama.com
- Robbert KrebbersAssociate Professor, Radboud University Nijmegen確認したメール アドレス: cs.ru.nl
- Lourdes del Carmen González HuescaEarly Associate Professor, Faculty of Science, UNAM確認したメール アドレス: ciencias.unam.mx
- Raul FervariFAMAF, Universidad Nacional de Córdoba and CONICET確認したメール アドレス: unc.edu.ar
- Francisco TruccoUniversity of Groningen確認したメール アドレス: rug.nl
- Ignacio TiraboschiPhD Student, ENS Paris - INRIA確認したメール アドレス: inria.fr
- RODRIGO GERALDO RIBEIROUniversidade Federal de Ouro Preto確認したメール アドレス: ufop.edu.br