Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Пролегомены ко всякой будущей теории языков программирования
Принципы и интерпретация динамических языков программирования


Что: Лекция
Когда: Вторник, 19 мая 2015, 18:30–20:00
Где: ПОМИ РАН

Описание

В лекции будет рассказано как тезис Тьюринга-Черча оказывает влияние на разработчиков языков программирования. В частности будут рассмотрены некоторые ошибочные аспекты теории структурной рефлексии разработанной Brian Cantwell Smith.

Литература

[1] Peter Wegner. Why interaction is more powerful than algorithms

[2] Brian Cantwell Smith. Reflection and semantics in LISP