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

The Caml Hump: Bindlib

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