Популярные

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

американский математик и логик
Дата рождения:
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.
Поделиться: