In 1969 J. Roger Hindley extended this work and proved that their algorithm always inferred the most general type.
Далее уже́ Роджер Хиндли в 1969 г. расширил сам алгоритм и доказал, что он выводит наиболее общий тип выражения.