Hi!
I am a PhD student at IRIF in the pole PPS, under the direction of Giuseppe Castagna and Kim Nguyen.
I am working on a set-theoretic type system for typing dynamic languages (such as Python or Javascript). An online version can be tested here.
You can find a list of my publications on my personal website.
Nom | Laurent |
Prénom | Mickael |
Téléphone | |
Bureau | 3033 |
mlaurent@irif.fr | |
Page web | https://www.irif.fr/~mlaurent |