Bindlib
Bindlib is a library and a camlp4 syntax extension for the OCaml language. It proposes a set of tools to manage data structures with bound and free variables. It includes fast substitution and management of variables names including renaming.
[ Homepage ]
| Author: | Christophe Raffali. |
| Last modification date: | 05-Oct-2006 |
| Version: | 3.0 |
| Development status: | Stable |
| Kind: | Camlp4 extensions |
| Libraries :: Native OCaml libraries | |
| Topic: | General purpose libraries :: Data structures |
| Homepage: | http://www.lama.univ-savoie.fr/~raffalli/bindlib.html |