Search results

• Cn/Introduction
  这门语言以为函数式语言建立数学逻辑基础的[[Haskell Brooks Curry]]命名。
  22 KB (2,644 words) - 21:43, 29 October 2011
• Applications and libraries/Linguistics
  ...h discusses [[Dependent type#Type theory|the concept of dependent type and Curry Howard isomorphism]] in lingustical context.
  15 KB (2,211 words) - 16:44, 1 August 2021
• ICFP 2009 Local Arrangements
  Vegan options can be harder (Indian restaurants can be a good choice, but curry sauces and breads may contain milk products, so do ask
  31 KB (4,851 words) - 23:30, 4 September 2009
• Es/Introduccion
  El lenguaje recibe su nombre en honor a [[Haskell Brooks Curry]], por sus trabajos en lógica matemática que sirvieron como fundamento pa
  25 KB (4,131 words) - 04:51, 9 December 2007
• Introduction
  The language is named for [[Haskell Brooks Curry]], whose work in mathematical logic serves as a foundation for
  26 KB (4,102 words) - 23:54, 29 February 2020
• Haskell logos/New logo ideas
  ...ch ascends to God, the supreme monad". (3) With great respect for Haskell Curry there are other people whom the language owes, thus it is only fair to enco
  34 KB (5,126 words) - 19:19, 15 August 2019

View (previous 100 | next 100) (20 | 50 | 100 | 250 | 500)