"Abstract Representation of Binders in OCaml using the Bindlib Library."

Rodolphe Lepigre, Christophe Raffalli (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics