Team Gallium

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

Section: Software

Alpha-Caml

Participant : Fran├žois Pottier.

C$ \alpha$ ml (pronounced ``alpha-Caml'') [45] 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 $ \alpha$ -conversion in a safe and concise style.

Web site: http://cristal.inria.fr/~fpottier/alphaCaml/ .


previous
next

Logo Inria