PhD student under the direction of François Pottier,
at INRIA Paris-Rocquencourt in the Gallium project-team
| Nicolas Pouillard PhD student under the direction of François Pottier, |
By E-mail:
By IM using my E-mail address with Jabber, Google talk (XMMP)
I blog
I also tweet as npouillard
I am particularly interested in the design of programming languages, specifically about functional languages (like OCaml and Haskell).
Since September 2008, I am working on safety of languages featuring meta-programming facilities. By meta-programming one means all programs that manipulates programs. This range from compilers and others code generators (parser generators, boiler plate removers), to theorem provers and proof assistants, but also to static analysis tools and much more.
More technically one tends to focus on a language design, featuring meta-programming as a two levels, heterogeneous language. This means that one can freely declare a new language representation using some kind of advanced data type. One focus on providing both type safety and binding soundness of the manipulated programs.
Not So Fresh ML (CANS 2009) (PDF) (LaTeX) (Haskell)
I currently maintain the Vim keymap included in Yi, along with some syntax highlighters (OCaml, Literate Haskell, Ott).
I have contributed a few patches to the project, for instance I have added the hunk-coloring feature.
Distributed versioning for everyone (PDF trans) (PDF) (LaTeX) (rslide)
I'm TA-ing (giving TDs in french) for the compilation lecture of François Pottier at École Polytechnique (TD material)
Overloading, searching for alternatives (PDF) (HTML) (rslide)
Sup is a console-based email client for people with a lot of email.
Ditz work with distributed version control systems.
Rslide is a single file Ruby program, that I use to write reports and presentations.
Download rslide
Powered by Haskell
