Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting S Mauras, V Cohen-Addad, G Duboc, M Dupré la Tour, P Frasca, ... PLoS computational biology 17 (8), e1009264, 2021 | 22 | 2021 |
An existential crisis resolved: type inference for first-class existential types RA Eisenberg, G Duboc, S Weirich, D Lee Proceedings of the ACM on Programming Languages 5 (ICFP), 1-29, 2021 | 8 | 2021 |
The Design Principles of the Elixir Type System G Castagna, G Duboc, J Valim arXiv preprint arXiv:2306.06391, 2023 | 5 | 2023 |
A space-efficient call-by-value virtual machine for gradual set-theoretic types G Castagna, G Duboc, V Lanvin, JG Siek Proceedings of the 31st Symposium on Implementation and Application of …, 2019 | 5 | 2019 |
Un prototype de système de types graduels ensemblistes pour Elixir G Duboc 35es Journées Francophones des Langages Applicatifs (JFLA 2024), 2024 | | 2024 |