Guillaume Duboc

According to our database, Guillaume Duboc authored at least 5 papers between 2019 and 2024.

Collaborative distances:

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

2024

The Design Principles of the Elixir Type System.

Giuseppe Castagna, Guillaume Duboc, José Valim

Art Sci. Eng. Program., 2024

Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir.

Giuseppe Castagna, Guillaume Duboc

CoRR, 2024

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