Лаборатория языковых инструментов
Трассирующая нормализация: взгляд со стороны
Трассирующая нормализация (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.
Докладчик: Дмитрий Булычев