9 lines
512 B
Markdown
9 lines
512 B
Markdown
|
# Functional programming and type systems
|
||
|
|
|
||
|
|
## Teachers in 2017-2018
|
||
|
|
|
||
|
|
* Functional Programming: Under the Hood (12h30, [http://gallium.inria.fr/~fpottier](François Pottier)
|
||
|
|
* Metatheory of Typed Programming Languages (12h30, [http://gallium.inria.fr/~remy/](Didier Rémy, *head*)
|
||
|
|
* Advanced Aspects of Type Systems (12h30, [http://www.pps.jussieu.fr/~yrg/](Yann Régis Gianas)
|
||
|
|
* Dependently-typed Functional Programming (12h30, [https://pages.lip6.fr/Pierre-Evariste.Dagand/](Pierre-Evariste Dagand)
|