JetBrains Research — наука, меняющая мир

Семинар по обобщенному программированию безопасных подстановок

Языки термов хорошо поддаются обобщенному программированию, за исключением работы с именами и связыванием. Для каждого языка надо вручную реализовывать проверку термов на альфа-эквивалентность, определение свободных переменных в терме и безопасную подстановку. В докладе будет рассказано про подход, объединяющий номинальный синтаксис и обобщенное программирование для упрощения работы с именами.

Материалы к докладу: James Cheney. Scrap Your Nameplate (functional pearl) // ICFP'05.

Докладчик: Екатерина Вербицкая.

26.03.2018, 17:15.

Место: ауд. 3248, мат-мех. факультет СПбГУ, Старый Петергоф, Университетский пр-т, д. 28