5 citations · 7 across the 5 of their papers we have counts for
1 paper · 2 filters
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…