# Functional programming and type systems

## Teachers in 2017-2018

   * Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier)
   * Metatheory of Typed Programming Languages (12h30, [Didier Rémy, *head*](http://gallium.inria.fr/~remy/)
   * Advanced Aspects of Type Systems (12h30, [Yann Régis Gianas](http://www.pps.jussieu.fr/~yrg/)
   * Dependently-typed Functional Programming (12h30, [Pierre-Evariste Dagand](https://pages.lip6.fr/Pierre-Evariste.Dagand/)