Stable
Compilation
[27-Nov-2002,
Stable]
Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS.
Compilation course using Caml
[03-Sep-2002,
Stable]
A compilation course including a tutorial for Caml.
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.
Cours algorithmes et structures de données
[19-Dec-2003,
Stable]
Lecture notes about data structure in Objective Caml (in French).
Cours de Compilation
[03-Sep-2002,
Stable]
Lectures notes about compilation (in French)
Introduction pratique à OCaml
[09-Mar-2011, version
20100129,
Stable]
This is an ocaml course with exercises, in french. Sources are available.
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.
Systematic Compiler Construction
[03-Sep-2002,
Stable]
A compilation course using 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.
No status
Caml and OCaml exercises
[28-Aug-2002]
About 50 exercises for Caml students from french "Classes préparatoires aux grandes écoles".
Initiation au langage OCaml
[26-Nov-2002]
Lectures notes of a course given at Ecole Polytechnique to introduce Objective Caml.
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.
Introduction to Functional Programming
[09-Aug-2001]
Lecture notes
OCaml book
[09-Aug-2001]
Introduction into OCaml, with exercises.
Polycopié de Programmation Fonctionnelle
[10-Oct-2002, version
]
Cours de programmation fonctionnelle, illustré par OCaml (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.
Utilisation d'OCaml au lycée
[14-Dec-2009]
Some notes about teaching OCaml at school.