ハスケル・カリー
1900年 - 1982年
Haskell Curry
Haskell - ハスケル・カリーの名にちなんだプログラミング言語
Curry - 同上
カリー化
組合せ論理
ラムダ計算
Yコンビネータ
カリー・ハワード対応
カリーのパラドックス
関数型プログラミング
ハスケル・カリー - Wikipedia