Исследовательская группа
Лаборатория языковых инструментов
Обобщенное программирование безопасных подстановок
March 26
Языки термов хорошо поддаются обобщенному программированию, за исключением работы с именами и связыванием. Для каждого языка надо вручную реализовывать проверку термов на альфа-эквивалентность, определение свободных переменных в терме и безопасную подстановку. В докладе будет рассказано про подход, объединяющий номинальный синтаксис и обобщенное программирование для упрощения работы с именами.
Материалы к докладу: James Cheney. Scrap Your Nameplate (functional pearl) // ICFP'05.
Докладчик: Екатерина Вербицкая.