Free Foil: Generating Efficient and Scope-Safe Abstract Syntax. - Nikolai Kudasov; Renata Shakirova; Egor Shalagin; Karina Tyulebaeva (CoRR, 2024)