Version française
Home     About     Download     Resources     Contact us    

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
Homepage:http://pauillac.inria.fr/~huet/CCT/