This page is dedicated to the class of "Type Systems and
Programs", given
in the 2nd year course of Computer Science called IT234 at the
ENSEIRB-Matmeca.
The full slides are available .
The slides of the course separated chapter per chapter are available here :
Tutorials
- TD n°1 : Type systems and derivations
( /
/
Sources 1 /
Sources 2)
- TD n°2 : A first flavor of types
( /
/
Sources 1)
- TD n°3 : Type inference
( /
/
Sources)
- TD n°4 : Parametric polymorphism
( /
/
Sources /
Link to Implementing type classes)
- TD n°5 : Inclusion polymorphism
( /
/
Sources)
Link to Grand chapter and Grand chapter online)
- TD n°6 : Subtyping and variance
( /
/
Sources /
Corrigé /
Link to On binary methods and the article
online) /
Link to Taming the wildcards /
Link to On Decidability of Nominal Subtyping with Variance
- TD n°7 : Proofs and types ( / / Sources)
Past exams
Useful links
OCaml
- The development page of the OCaml language.
- The OCaml documentation page (User's manual)
- An online OCaml evaluator.
Haskell
- The development page of the Haskell language.
- Hoogle, a web interface to browse the Haskell language and libraries.
- A (somewhat limited) online Haskell evaluator.
Scala
- The development page of the Scala language.
- The documentation of the current version of the Scala language.
- An online Scala evaluator.
Other languages
- The development page for the LiquidHaskell language and an online evaluator.
- The development page for the Coq language and an online evaluator.