Robert Feys
Encyclopedia
Robert Feys was a Belgian logician and philosopher, who worked at the University of Leuven (Belgium
).
In 1958 Feys and Haskell B. Curry devised the type inference
algorithm for the simply typed lambda calculus
(Combinatory Logic I).
Belgium
Belgium , officially the Kingdom of Belgium, is a federal state in Western Europe. It is a founding member of the European Union and hosts the EU's headquarters, and those of several other major international organisations such as NATO.Belgium is also a member of, or affiliated to, many...
).
In 1958 Feys and Haskell B. Curry devised the type inference
Type inference
Type inference refers to the automatic deduction of the type of an expression in a programming language. If some, but not all, type annotations are already present it is referred to as type reconstruction....
algorithm for the simply typed lambda calculus
Simply typed lambda calculus
The simply typed lambda calculus , a formof type theory, is a typed interpretation of the lambda calculus with only one type constructor: \to that builds function types. It is the canonical and simplest example of a typed lambda calculus...
(Combinatory Logic I).
External links
- Sources for birth and death date: http://www.cibernous.com/colabora/comunes/diccionario.htm and http://www.ferratermora.com/ency_prologo_qz_cu-cron.html