Guillaume Duboc

PhD Student at Dashbit+IRIF

Paris, France

I am working on set-theoretic type systems for dynamic languages such as Elixir.

• email
• github
• linkedin

Talks

• 2023
• The Design Principles of the Elixir Type System
  Code BEAM 2023
• Bringing Types to Elixir
  ElixirConf 2023

Publications

• 2024
• Giuseppe Castagna, Guillaume Duboc
  Guard Analysis and Safe Erasure Gradual Typing: a Type System for Elixir
  arXiv pre-print
• 2023
• Giuseppe Castagna, Guillaume Duboc, José Valim
  The Design Principles of the Elixir Type System
  The Art, Science, and Engineering of Programming - Best Paper of the Year Award
• Guillaume Duboc
  Un prototype de système de types graduels ensemblistes pour Elixir
  JFLA
• 2021
• Richard Eisenberg, Guillaume Duboc, Stephanie Weirich and Daniel Lee
  An existential crisis resolved: Type inference for first-class existential types
  Proceedings of the ACM on Programming Languages - Distinguished Paper Award

Projects

• Elixir Type Checker
  A (prototype) type checker for Elixir based on set-theoretic type systems.
• Alain Frisch's Thesis
  A while ago, I translated Alain Frisch's thesis on CDuce.