Available nodes

This page is dedicated to the course of modern type-oriented constructions in programming languages given in the ESSV Master at the Bordeaux 1 University.
The course page contains a bibliography and useful links.

 Tutorials

 Assignments

 Useful links

OCaml

Haskell

  • The development page of the Haskell language.
  • Hayoo, a web interface to browse the Haskell language.
  • An 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.