Семинар по трассирующей нормализации

Семинар по трассирующей нормализации

Трассирующая нормализация (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.

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

27.03.2017, 17:15.

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