Recently updated contribs
Older contribs
Constructive Computation Theory
[29-Aug-2011,
Stable]
A course on pure lambda-calculus. This is an executable course, implemented in Pidgin ML, which is a core subset of the Objective Caml programming language under the so-called revised syntax.
Introduction pratique à OCaml
[09-Mar-2011, version
20100129,
Stable]
This is an ocaml course with exercises, in french. Sources are available.
Utilisation d'OCaml au lycée
[14-Dec-2009]
Some notes about teaching OCaml at school.
Interactive course on OCaml (french)
[14-Mar-2005]
This course is designed for beginners, and does not require any knowledge
in programming at all. Anyone aged over 12 should be able
to complete the course on his own, and thus learn the fundamentals
of programming. For the time being, it is only available in french,
but it will be translated into english later on.
Introduction to Computational Linguistics
[04-Aug-2004]
A course on Computational Linguistics, using Caml.
Cours algorithmes et structures de données
[19-Dec-2003,
Stable]
Lecture notes about data structure in Objective Caml (in French).
Programmation système en OCaml
[03-Oct-2003]
Un cours d'introduction à la programmation du système Unix, mettant l'accent sur la communication entre les processus.
Compilation
[27-Nov-2002,
Stable]
Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS.
Langages et Compilation
[26-Nov-2002,
Stable]
Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS.
Initiation au langage OCaml
[26-Nov-2002]
Lectures notes of a course given at Ecole Polytechnique to introduce Objective Caml.
Using, Understanding, and Unraveling the OCaml Language
[25-Nov-2002,
Stable]
These course notes are addressed to a wide audience of people interested in modern programming languages in general, ML-like languages in particular, or simply in OCaml, whether they are programmers or language designers, beginners or knowledgeable readers ---little prerequiresite is actually assumed.
They provide a formal description of the operational semantics (evaluation) and statics semantics (type checking) of core ML and of several extensions starting from small variations on the core language to end up with the OCaml language ---one of the most popular incarnation of ML--- including its object-oriented layer.
Polycopié de Programmation Fonctionnelle
[10-Oct-2002, version
]
Cours de programmation fonctionnelle, illustré par OCaml (in french).
Cours de Compilation
[03-Sep-2002,
Stable]
Lectures notes about compilation (in French)
Compilation course using Caml
[03-Sep-2002,
Stable]
A compilation course including a tutorial for Caml.
Systematic Compiler Construction
[03-Sep-2002,
Stable]
A compilation course using Caml
Caml and OCaml exercises
[28-Aug-2002]
About 50 exercises for Caml students from french "Classes préparatoires aux grandes écoles".
OCaml book
[09-Aug-2001]
Introduction into OCaml, with exercises.
Introduction to Functional Programming
[09-Aug-2001]
Lecture notes