Home » Знаменательные события » Робин Милнер

Робин Милнер

Робин Милнер (13 января 1934 — 20 марта 2010) — английский учёный в области теории вычислительных систем.

Робин Милнер

Одно из важных достижений:
Автор функционального языка программирования ML.

Лауреат премии Тьюринга 1991 года.
За три различных полноценных достижения:

  1. LCF, автоматизирующий доказательства в логике вычислимых функций Скотта, по-видимому первый, инструмент автоматизированного конструирования доказательств, построенный на теоретическом фундаменте и при этом полезный на практике;
  2. ML, первый язык программирования использующий полиморфный вывод типов вместе с типизированным механизмом обработки ошибок;
  3. CCS, общая теория параллельных вычислений. Вдобавок, он сформулировал и развил полную абстракцию, теорию о связи между операционной и денотационной семантиками.
Похожая информация:
Яндекс цитирования Яндекс.Метрика