Abstract Representation of Binders in OCaml using the Bindlib Library

Rodolphe Lepigre, Christophe Raffalli

The Bindlib library for OCaml provides a set of tools for the manipulation of data structures with variable binding. It is very well suited for the representation of abstract synta…