@Inproceedings{EPTCS274.4, author = {Lepigre, Rodolphe and Raffalli, Christophe}, year = {2018}, title = {Abstract Representation of Binders in OCaml using the Bindlib Library}, editor = {Blanqui, Fr\'ed\'eric and Reis, Giselle}, booktitle = {{\rm Proceedings of the 13th International Workshop on} Logical Frameworks and Meta-Languages: Theory and Practice, {\rm Oxford, UK, 7th July 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {274}, publisher = {Open Publishing Association}, pages = {42-56}, doi = {10.4204/EPTCS.274.4}, }