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/ |