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, type systems and . I also like type systems,

Ornaments

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

Contact

thomas.williams A T inria D O T fr