Available nodes

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 :
  • Course 1 -- Untyped lambda calculus (15/01/2025)
  • Course 2 -- Type, checking and inference (05/02/2025)
  • Course 3 -- Parameteric polymorphism (19/02/2025)
  • Course 4 -- Inclusion polymorphism (12/03/2025)
  • Course 5 -- Subtyping (26/03/2025)
  • Course 6 -- Proofs with types (09/04/2025)

 Tutorials

 Past exams

  • Year 2017-18 :
  • Year 2018-19 :
  • Year 2019-20 :
  • Year 2020-21 :
  • Year 2021-22 :
  • Year 2022-23 :
  • Year 2023-24 :

 Useful links

OCaml

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