Recipes with Rapier: Working with Bound Variables Without Unnecessary Cuts

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

Invited seminar talk · JointRefal — META program summer internship seminar · · A.K. Ailamazyan Institute for System Programming 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