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

== Наукові досягнення ==

Мілнер розробив одну з найперших програм для [[Автоматичне доведення|автоматичного доведення]] під назвою LCF ({{lang-en|Logic for Computable Functions}}), для чого він також створив мову програмування [[ML]] ({{lang-en|Meta-Language}}) з механізмом [[Вивід типів|виводу типів]] виразів, т. зв. {{нп|алгоритм Хіндлі–Мілнера|алгоритм Хіндлі–Мілнера||Hindley–Milner type inference algorithm}}.

 

== Посилання ==

* Персональна сторінка Робіна Мілнера (University of Cambridge {{lang-en|[http://www.cl.cam.ac.uk/archive/rm135/]}}).

 

{{Authority control}}

{{ВП-портали|Біографії|Англія|Математика}}

{{DEFAULTSORT:Мілнер Робін}}

[[Категорія:Британські математики]]