Recipes with Rapier: Working with Bound Variables Without Unnecessary Cuts

«Рецепты с рапирой: работаем со связанными переменными без лишних порезов»

Invited seminar talk · JointRefal — META seminar at the BMSTU IU9 summer internship · July 1, 2025 · Ailamazyan Program Systems Institute of RAS, Pereslavl-Zalessky, Russia · delivered in Russian

A Russian-language talk on the free-foil framework for scope-safe abstract syntax with bound variables. The title puns on translating “foil” into Russian as «рапира» (rapier).

Slides