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 slides of the course are available here (13/04/2022).

 Tutorials

 Past exams

  • Year 2017-18 :
  • Year 2018-19 :
  • Year 2019-20 :
  • Year 2020-21 :
  • Year 2021-22 :

 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.