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 |
Guillaume.Duboc@irif.fr | |
Page web | https://www.irif.fr/~gduboc/ |