Guillaume Duboc

According to our database, Guillaume Duboc authored at least 4 papers between 2019 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

The Design Principles of the Elixir Type System.

Giuseppe Castagna, Guillaume Duboc, José Valim

CoRR, 2023

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

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

2019

A space-efficient call-by-value virtual machine for gradual set-theoretic types.

Giuseppe Castagna, Guillaume Duboc, Victor Lanvin, Jeremy G. Siek

Proceedings of the IFL '19: Implementation and Application of Functional Languages, 2019