The OCaml Bindlib library

Christophe Raffalli and Rodolphe Lepigre

Description:

Bindlib is a library allowing the manipulation of data structures with bound variables. It is particularly useful when writing ASTs for programming languages, but also for manipulating terms of the λ-calculus or quantified formulas.

Ressources:

Fork me on GitHub