commit 260bde12399ccb57e07bd9f5f351297d27a5e942 Author: François Pottier Date: Mon Sep 11 10:29:22 2017 +0200 Add README.md. diff --git a/README.md b/README.md new file mode 100644 index 0000000..17232af --- /dev/null +++ b/README.md @@ -0,0 +1,8 @@ +# 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)