Commit 4cceeb63 authored by REMY Didier's avatar REMY Didier

Correction de dates

parent 1a926bb8
......@@ -63,8 +63,8 @@ We also show the limits of dependently-typed functional programming.
* (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) Subtyping. Rows. (Covariant arrays and covariant functions!)
* (24/11/2017) References. (Value restriction.)
* (10/11/2017) Subtyping. Rows. (Covariant arrays and covariant functions!)
* (17/11/2017) References. (Value restriction.)
### Advanced Aspects of Type Systems
......
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