tobast/mpri-funcprog-project
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

Slides du cours 2.

Browse source
This commit is contained in:
REMY Didier 2017-10-27 10:38:45 +02:00
parent 20967ac671
commit 12d27e9bfd
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
README.md
View file

@ -75,7 +75,9 @@ We also show the limits of dependently-typed functional programming.
and chap [1](http://gallium.inria.fr/~remy/mpri/cours1.pdf)
and [2](http://gallium.inria.fr/~remy/mpri/cours2.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
* (27/10/2017) ADTs, existential types, GADTs.
* (27/10/2017)
[ADTs, existential types, GADTs]
(http://gallium.inria.fr/~remy/mpri/slides2.pdf).
* (03/11/2017) Logical relations.
* (10/11/2017) Subtyping. Rows.
* (17/11/2017) References, Value restriction, Side effects.