http://www.spock.com/Robert-Feys/newsRobert Feys: 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").en-us