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.
The course page contains a bibliography and useful links.
Tutorials
- TD n°1 : Type systems and derivations ( / / Source) / Correction)
- TD n°2 : Type systems and derivations (2) ( / / Source / Source / Correction)
- TD n°3 : Type inference ( / / Source / Source )
- TD n°4 : Constrained polymorphism ( / / Source / Correction)
- TD n°5 : Subtyping polymorphism ( / / Source)
- TD n°6 : Existential woes ( / / Source)
Assignments
- Extension of FeatherWeight Java
(due date : November the 17th)
Subject : / / Sources Link to articles : Pierce Allwood
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.
- 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.