Participant : François Pottier.
C ml (pronounced ``alpha-Caml'')  is an OCaml code generator that turns a so-called ``binding specification'' into safe and efficient implementations of the fundamental operations over terms that contain bound names. A binding specification resembles an algebraic data type declaration, but also includes information about names and binding constructs: where are names bound in the data structure? what is the scope of such a binding? The automatically generated operations include substitution, computation of free names, and mechanisms to traverse and transform terms. This tool helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with -conversion in a safe and concise style.
Web site: http://cristal.inria.fr/~fpottier/alphaCaml/ .