Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Documentations :: Courses

Stable

Courses
Compilation [27-Nov-2002, Stable]
Lectures notes in French, which uses Objective Caml to implement a complete prototype compiler from Pascal to MIPS.
Author: Luc Maranget.
Courses
Compilation course using Caml [03-Sep-2002, Stable]
A compilation course including a tutorial for Caml.
Author: Scott Smith.
Courses
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.
Author: Gérard Huet.
Courses
Lecture notes about data structure in Objective Caml (in French).
Author: Jocelyn Serot.
Courses
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.
Author: Maxence Guesdon.
Courses
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.
Author: Didier Rémy.
Courses
Systematic Compiler Construction [03-Sep-2002, Stable]
A compilation course using Caml
Author: Michael Sperber.
Courses
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.
Author: Didier Rémy.

No status

Courses
About 50 exercises for Caml students from french "Classes préparatoires aux grandes écoles".
Courses
Lectures notes of a course given at Ecole Polytechnique to introduce Objective Caml.
Author: Didier Rémy.
Courses
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.
Courses
A course on Computational Linguistics, using Caml.
Author: John Hale.
Courses
Lecture notes
Author: John Harrison.
Courses
OCaml book [09-Aug-2001]
Introduction into OCaml, with exercises.
Author: Jason Hickey.
Courses
Cours de programmation fonctionnelle, illustré par OCaml (in french).
Courses
Un cours d'introduction à la programmation du système Unix, mettant l'accent sur la communication entre les processus.
Author: Didier Rémy.
Courses
Some notes about teaching OCaml at school.