I am a PhD student at IRIF in the pole PPS, under the direction of Giuseppe Castagna and Jose Valim.

My personal website's here.

I am working on a set-theoretic type system for typing dynamic languages (such as Elixir).

The draft of my latest work, on the design of a type system for Elixir, is here.

A proof-of-concept can be tested at this address.

The slides of my latest talk, at ElixirConf EU 2023, are here, and here's a video of the talk.

You can find a list of my publications on my Google profile.

A while ago, I translated Alain Frisch's thesis on CDuce. It's here.

Nom Duboc
Prénom Guillaume
Téléphone
Bureau 3010
Mail Guillaume.Duboc@irif.fr
Page web https://www.irif.fr/~gduboc/