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

slides and notes

Browse source
This commit is contained in:
REMY Didier 2017-09-15 08:55:27 +02:00
parent 997801873b
commit 672cfcd07d
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
README.md
View file

@ -69,12 +69,12 @@ We also show the limits of dependently-typed functional programming.
### Metatheory of Typed Programming Languages ### Metatheory of Typed Programming Languages
* [(15/09/2017)] * (15/09/2017)
[Metatheory of System F](http://gallium.inria.fr/~remy/mpri/slides1.pdf) [Metatheory of System F](http://gallium.inria.fr/~remy/mpri/slides1.pdf)
See also [Intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf), (See also [intro](http://gallium.inria.fr/~remy/mpri/slides8.pdf),
and chap [1](http://gallium.inria.fr/~remy/mpri/2016/cours1.pdf) and chap [1](http://gallium.inria.fr/~remy/mpri/2016/cours1.pdf)
and [2](http://gallium.inria.fr/~remy/mpri/2016/cours2.pdf) and [2](http://gallium.inria.fr/~remy/mpri/2016/cours2.pdf)
of course notes. of [course notes](http://gallium.inria.fr/~remy/mpri/2016/cours.pdf))
* (27/10/2017) ADTs, existential types, GADTs. * (27/10/2017) ADTs, existential types, GADTs.
* (03/11/2017) Logical relations. * (03/11/2017) Logical relations.
* (10/11/2017) Subtyping. Rows. * (10/11/2017) Subtyping. Rows.