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

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

Трассирующая нормализация: взгляд со стороны

March 27

Трассирующая нормализация (traversal-based normalization) [1] представляет собой неортодоксальный способ вычислений в лямбда-формулировке; на текущий момент этот способ представляет чисто теоретический интерес, хотя любое новое решение столь фундаментальной задачи может привести к неожиданным приложениям. Доклад преследует две цели --- во-первых, описать собственно современный взгляд на трассирующую нормализацию и, во-вторых, получить экспериментальную оценку того, насколько мы адекватно воспринимаем чужие разработки (ибо один из авторов оригинальной статьи будет присутствовать на докладе).

Материалы к докладу:

[1] Daniil Berezun, Neil D. Jones. Compiling Untyped Lambda Calculus to Lower-Level Code by Game Semantics and Partial Evaluation // PEPM-2017.

Докладчик: Дмитрий Булычев