Guillaume Duboc 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/