Commit 3b8198de authored by REMY Didier's avatar REMY Didier

ordre des cours

parent a9747889
......@@ -123,19 +123,19 @@ We also show the limits of dependently-typed functional programming.
[without](http://gallium.inria.fr/~remy/mpri/handout2a.pdf) or
[only](http://gallium.inria.fr/~remy/mpri/handout2b.pdf)
the extra material)
(se also [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)
(see also [chap 6](http://gallium.inria.fr/~remy/mpri/cours4.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
* (08/11/2019)
[Overloading](http://gallium.inria.fr/~remy/mpri/slides4.pdf)
[(handout)](http://gallium.inria.fr/~remy/mpri/handout4.pdf)
(see also [chap 7](http://gallium.inria.fr/~remy/mpri/cours5.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
* (15/11/2019)
[References, Value restriction, Side effects](http://gallium.inria.fr/~remy/mpri/slides5.pdf)
([handout](http://gallium.inria.fr/~remy/mpri/handout5.pdf))
(see also sections [3.6, 3.7](http://gallium.inria.fr/~remy/mpri/cours1.pdf)
and [4.5](http://gallium.inria.fr/~remy/mpri/cours2.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
* (15/11/2019)
[Overloading](http://gallium.inria.fr/~remy/mpri/slides4.pdf)
[(handout)](http://gallium.inria.fr/~remy/mpri/handout4.pdf)
(see also [chap 7](http://gallium.inria.fr/~remy/mpri/cours5.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf))
* (22/11/2019)
[Logical relations](http://gallium.inria.fr/~remy/mpri/slides3.pdf)
[(handout)](http://gallium.inria.fr/~remy/mpri/handout3.pdf)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment