Исследовательская группа

Лаборатория языковых инструментов

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

March 26

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

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

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