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

Fixed dates.

Browse source
This commit is contained in:
François Pottier 2017-09-11 10:43:57 +02:00
parent 7747bcfe3b
commit e1de1928c5
1 changed files with 5 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
README.md
View file

@ -60,13 +60,11 @@ We also show the limits of dependently-typed functional programming.
### Metatheory of Typed Programming Languages
First lesson on Sep 15, other lessons on Oct 27, Nov 02, 17, 24.
* Metatheory of System F. (Type soundness. Erasure.)
* ADTs, existential types, GADTs. (Typed program transformations.)
* Logical relations.
* Subtyping. Rows. (Covariant arrays and covariant functions!)
* References. (Value restriction.)
* (15/09/2017) Metatheory of System F. (Type soundness. Erasure.)
* (27/10/2017) ADTs, existential types, GADTs. (Typed program transformations.)
* (03/11/2017) Logical relations.
* (17/11/2017) Sub(typing. Rows. (Covariant arrays and covariant functions!)
* (24/11/2017) References. (Value restriction.)
### Advanced Aspects of Type Systems