Robert Feys was a logician and philosopher. In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply typed lambda calculus ("Combinatory Logic I"). Wikipedia
The definitive Wikipedia entry for Robert Feys. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Robert_Feys