Abstract representation of binders in OCaml using the Bindlib library

DOI10.4204/EPTCS.274.4MaRDI QIDQ6940460zbMATH OpenFDO

Authors Rodolphe Lepigre, Christophe Raffalli

Publication date 19 August 2025

Copyright license Creative Commons license

Full work available at URL https://doi.org/10.4204/EPTCS.274.4

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Cites work

• FreshML: programming with binders made simple
• Generative Unbinding of Names
• scientific article; zbMATH DE number 3400430 (Why is no real title available?)
• Nested abstract syntax in Coq
• Parametric higher-order abstract syntax for mechanized semantics
• The locally nameless representation

This page was built for publication: Abstract representation of binders in OCaml using the Bindlib library

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6940460)