Free Foil: Generating Efficient and Scope-Safe Abstract Syntax

ICCQ 2024 — 4th International Conference on Code Quality, Innopolis, Russia · April 22, 2024

Joint work with Renata Shakirova, Egor Shalagin, and Karina Tyulebaeva.

Free Foil generates efficient, scope-safe representations of abstract syntax for second-order signatures. It combines free monads, data types à la carte, and intrinsic scoping to produce capture-avoiding substitution essentially for free.

Code: fizruk/free-foil

Kudasov, N., Shakirova, R., Shalagin, E., Tyulebaeva, K. (2024). "Free Foil: Generating Efficient and Scope-Safe Abstract Syntax." 2024 4th International Conference on Code Quality (ICCQ), pp. 1–16. DOI: 10.1109/ICCQ60895.2024.10576867.