In 1969, J. Roger Hindley publishes The Principal Type-Scheme of an Object in Combinatory Logic, later generalized into the Hindley–Milner type inference algorithm.
У 1969 році Дж Роджер Гіндлі публікує основну тип-схему об'єкта у комбінаторної логіці, пізніше узагальнену у алгоритм виведення типів Гіндлі-Мілнера.