2017-09-11 10:29:22 +02:00
|
|
|
# Functional programming and type systems
|
|
|
|
|
|
|
|
|
|
## Teachers in 2017-2018
|
|
|
|
|
|
2017-09-11 10:32:58 +02:00
|
|
|
* Functional Programming: Under the Hood (12h30, [François Pottier](http://gallium.inria.fr/~fpottier))
|
|
|
|
|
* Metatheory of Typed Programming Languages (12h30, [Didier Rémy](http://gallium.inria.fr/~remy/), *head*)
|
|
|
|
|
* 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/))
|
