Anchor for lecture 3.

This commit is contained in:
REMY Didier 2017-10-29 16:44:50 +01:00
parent bacf138196
commit 50b685a8d6

View file

@ -109,9 +109,10 @@ We also show the limits of dependently-typed functional programming.
[only](http://gallium.inria.fr/~remy/mpri/slides2b.pdf) [only](http://gallium.inria.fr/~remy/mpri/slides2b.pdf)
the extra material; the extra material;
and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf) and [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)) of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (03/11/2017) Logical relations * (03/11/2017) Logical relations
(See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf)). (See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (10/11/2017) Subtyping. Rows. * (10/11/2017) Subtyping. Rows.
* (17/11/2017) References, Value restriction, Side effects. * (17/11/2017) References, Value restriction, Side effects.