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
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 Rocq language and an online evaluator.