Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

The Caml Hump: Constructive Computation Theory

Constructive Computation Theory

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.
Homepage ]
Author:Gérard Huet.
Last modification date:29-Aug-2011
Development status:Stable
Kind: Documentations :: Courses