I am a PhD student in the Gallium team at INRIA Paris-Rocquencourt. My advisor is Didier Rémy.
I am interested in programming languages, particularly statically typed functional languages such as OCaml and Haskell, type systems and . I also like type systems,
Ornaments are a way to understand transformations of data structures. I am working on applying ornaments for refactoring ML program. You can find out more (and read our paper!) here
thomas.williams A T inria D O T fr