|портрет= |Батько= |Посада= |Діти= |Дружина= |Чоловік= |Мати= Артур Джон Робін Ґорел Мілнер (англ. Arthur John Robin Gorell Milner; нар.13 січня 1934 р. у Ялмптоні[en]...

червня 2007. Робін Мілнер: Communicating and Mobile Systems: the Pi-Calculus, Cambridge Univ. Press, 1999, ISBN 0-521-65869-1 Робін Мілнер: The Polyadic...

Біско (GBR) —  Алан Мілнер (USA) Поразка Індивідуальна шабля Перший раунд (група C)  Робін Далгліш (GBR) —  Роже Дюкре (FRA) 2:4  Робін Далгліш (GBR) —  Іван...

програмування обчислювальних функцій, абстрактно набрана мова У 1978 році Робін Мілнер вводить алгоритм виведення типів Гіндлі-Мілнера для мови програмування...

має безліч нащадків, найсучасніші з яких — Scheme і Common Lisp); ML (Робін Мілнер, 1979, з нині використовуваних діалектів відомі Standard ML і Objective...

алгоритм і довів, що він виводить найзагальніший тип виразу. В 1978 році Робін Мілнер незалежно від Р. Гіндлі довів властивості еквівалентного алгоритму. І...

університеті. Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками (Род Бурсталл[en], Ґордон Плоткін[en], Метью...

Бруно Кліффорд Чаддертон Леслі Лем П'єр Мортен Аллан Сімпсон Морріс (Міккі) Мілнер Євген Реймер Сара Томпсон Сем Салліван Емі Дуфенбейкер Айві Гранстром Том...

тому числі професора Алана Тюрінга, Гордона Велчмана й шахістів Стюарта Мілнер-Беррі і Конела Х'ю О' Донела Александера. Пізніше цю четвірку прозвали «злими...

імперативне програмування Дата появи 1973 Творці Робін Мілнер та ін. - Единбурзький університет Розробник Робін Мілнер Система типізації строга, статична, вивід...

Вестол[en] 1968 — Gilbert Wilson 1969 — Персі Едвард Кент[en] 1970 — Роберт Мілнер Шеклтон[en] 1971 — Бейзіл Чарльз Кінг[en] 1972 — Стівен Роберт Ноколдс[en]...