Thomas Williams

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. I am currently trying to apply ornaments for refactoring functional programs.


Ornaments are a way to understand transformations of data structures. You can read an article on some uses of ornaments in practice and my master's internship report, or the corresponding slides for some more technical explanations.


thomas.williams A T inria D O T fr