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

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

редагування