In 1969 J. Roger Hindley extended this work and proved that their algorithm always inferred the most general type.
在 1969 年 Roger Hindley 扩展了这项工作并证明他们的算法总能推出最一般的类型。