I am a PhD student in the Gallium team at INRIA Paris-Rocquencourt. My advisor is Didier Rémy.
My main interest is programming languages. I'm familiar with statically typed functional programming languages such as OCaml, or more generally of ML tradition (SML, Haskell...). I'm interested in theoretical aspects of type systems, programming language implementation, general programming language concepts, and even some syntactic aspects. I have a preference for the formalizable aspects, or formalizable approaches to programming language aspects, rather than the often subjective appeals to taste or intuition.
I have previously enjoyed working, and am still in contact
with, Jérôme
Vouillon on a statically typed domain-specific language for
database queries embedded in OCaml
(Macaque),
and Andreas Abel, on
meta-theoretical aspects of predicative dependent type theories --
definitional-algorithmic correspondence with logical relations, and
universe subtyping and polymorphism.
In a former internship at
Gallium, I worked
on MLF, an
System F-like type system with type inference; I did
some prototyping and
explored adding Fω-style type-level operators.
Outside the personal sphere, I communicate by e-mail -- and
interleaved forum, mailing-list or blog posts. Please feel free to
send me an email; I mostly use my Gmail adress, gabriel dot
scherer at gmail.