Відмінності між версіями «Робін Мілнер»

2 байти вилучено ,  5 років тому
нема опису редагування
== Наукові досягнення ==
Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів, т. зв. {{нп|алгоритм Хіндлі–Мілнера|алгоритм Хіндлі–Мілнера||Hindley–Milner type inference algorithm}}.
 
{{UK-bio-stub}}
{{науковець-доробити}}
 
== Посилання ==
* Некролог Робіна Мілнера (Guardian {{lang-en|[http://www.theguardian.com/technology/2010/apr/01/robin-milner-obituary]}}).
* Персональна сторінка Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/]}}).
 
{{Authority control}}
{{Лауреати премії Тюрінга}}
{{ВП-портали|Біографії|Англія|Математика}}
{{UK-bio-stub}}
{{науковець-доробити}}
 
{{DEFAULTSORT:Мілнер Робін}}
982

редагування