A space-efficient call-by-value virtual machine for gradual set-theoretic types. - Giuseppe Castagna; Guillaume Duboc; Victor Lanvin; Jeremy G. Siek (IFL, 2019)

An existential crisis resolved: type inference for first-class existential types. - Richard A. Eisenberg; Guillaume Duboc; Stephanie Weirich; Daniel Lee (Proc. ACM Program. Lang., 2021)

Mitigating COVID-19 outbreaks in workplaces and schools by hybrid telecommuting. - Simon Mauras; Vincent Cohen-Addad; Guillaume Duboc; Max Dupré la Tour; Paolo Frasca; Claire Mathieu; Lulla Opatowski; Laurent Viennot (PLoS Comput. Biol., 2021)

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir. - Giuseppe Castagna; Guillaume Duboc (CoRR, 2024)

The Design Principles of the Elixir Type System. - Giuseppe Castagna; Guillaume Duboc; José Valim (Art Sci. Eng. Program., 2024)