関数型言語
その他、ラムダ計算や関数型言語の研究でも知られる。