Guillaume Duboc

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Virtual Machine

Top Venues

Proc. ACM Program. Lang.

Art Sci. Eng. Program.

Publications

Giuseppe Castagna, Guillaume Duboc, José Valim
The Design Principles of the Elixir Type System. Art Sci. Eng. Program. 8 (2) (2024)
Giuseppe Castagna, Guillaume Duboc, José Valim
The Design Principles of the Elixir Type System. CoRR (2023)
Simon Mauras, Vincent Cohen-Addad, Guillaume Duboc, Max Dupré la Tour, Paolo Frasca, Claire Mathieu, Lulla Opatowski, Laurent Viennot
Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting. PLoS Comput. Biol. 17 (8) (2021)
Richard A. Eisenberg, Guillaume Duboc, Stephanie Weirich, Daniel Lee
An existential crisis resolved: type inference for first-class existential types. Proc. ACM Program. Lang. 5 (ICFP) (2021)
Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek
A space-efficient call-by-value virtual machine for gradual set-theoretic types. IFL (2019)