JetBrains Research unites scientists working in challenging new disciplines

Seminar on generic programming for names and substitutions

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

Time: 17:15

Venue: room 3248, Faculty of Mathematics and Mechanics, Saint Petersburg State University, Stary Peterhof, Universitetski pr., 28