Belgian Logician
Robert Feys was a Belgian logician and philosopher who worked at the University of Leuven. In 1958 Feys and Haskell B. Curry devised the type inference algorithm for the simply...