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

Anchor for Lecture 3.

Browse source
This commit is contained in:
REMY Didier 2017-10-29 16:48:50 +01:00
parent 50b685a8d6
commit aee8182a5c
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Makefile
View file

@ -1,4 +1,3 @@
README.html: README.md README.html: README.md
pandoc -s -f markdown -t html -o $@ $< pandoc -s -f markdown -t html -o $@ $<

7
README.md
View file

@ -105,13 +105,14 @@ We also show the limits of dependently-typed functional programming.
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)). of [course notes](http://gallium.inria.fr/~remy/mpri/cours.pdf)).
* (27/10/2017) * (27/10/2017)
[ADTs, existential types, GADTs](http://gallium.inria.fr/~remy/mpri/slides2.pdf) [ADTs, existential types, GADTs](http://gallium.inria.fr/~remy/mpri/slides2.pdf)
([without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or (slides
[without](http://gallium.inria.fr/~remy/mpri/slides2a.pdf) or
[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](http://gallium.inria.fr/~remy/mpri/slides2.pdf)
(See also [chap ](http://gallium.inria.fr/~remy/mpri/cours6.pdf) ([chap 8](http://gallium.inria.fr/~remy/mpri/cours6.pdf)
of [course notes](http://gallium.inria.fr/~remy/mpri/cours.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.