From 260bde12399ccb57e07bd9f5f351297d27a5e942 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Fran=C3=A7ois=20Pottier?= Date: Mon, 11 Sep 2017 10:29:22 +0200 Subject: [PATCH] Add README.md. --- README.md | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 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)