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

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

редагування