English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: AlphaCaml

AlphaCaml

AlphaCaml is a tool that turns a so-called ``binding specification'' into an Objective Caml compilation unit. This helps writers of interpreters, compilers, or other programs-that-manipulate-programs deal with alpha-conversion in a safe and concise style.
Homepage ]
Author:François Pottier.
Last modification date:10-Jun-2005
Development status:Beta
Kind: Development tools
Topic: Software development :: Code generators
Programming languages :: Program analysis
Homepage:http://cristal.inria.fr/~fpottier/alphaCaml/