Карри, Хаскелл Брукс

американский математик и логик

Категория:

Дата рождения:

1900-09-12

Дата смерти:

1982-09-01

Биография

В его честь было названо два языка программирования: Haskell и Curry (развитие на основе языка Haskell).

Основные работы

Curry H.B. Functionality in combinatory logic. -- Proc. National Academy of Sciences of the USA, Vol. 20, 1934. -- pp.~584--590.

Curry H.B. Foundations of mathematical logic. -- McGraw-Hill Book Co., Inc., N.Y., 1963.
Curry H.B., Feys R. Combinatory Logic. -- Vol. I, North-Holland Co., Amsterdam, 1958.

Curry H.B., Hindley R., Seldin J.P. Combinatory Logic. -- Vol. II. Studies in Logic 65, North-Holland Co., Amsterdam, 1972.