Version française
Home     About     Download     Resources     Contact us    

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