The operations on the languages of terms are good candidates for generic programming, excluding names and bindings. For each concrete language alpha-convertibility check, free variable set calculation, capture-avoiding substitution have to be reimplemented anew. In the talk an approach, which solves this problem using nominal syntax and generic programming, will be presented.
Supplementary materials: James Cheney. Scrap Your Nameplate (functional pearl) // ICFP'05.
Presenter: Екатерина Вербицкая
Date: March 26, 2018
Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28