Top
Photo Drawings Software Writing Reading Memo Study Profile Bookmark 
Amethyst DumLambda PetitLambda Yamanba JSharp JFlat OOPS yash KumonoIto ML Toys 

関数型言語の基礎理論

MLやHaskellなど関数型言語の特長として、 言語の基礎的な理論が科学的に研究されていることが挙げられます。

このページでは、オンラインで入手できる入門的な資料、論文を紹介します。
これらの分野については書籍、論文が豊富にあります。 より興味を持たれた方は講師/TAにお問い合わせください。

ラムダ計算

型理論

つぎの論文が型理論を分かりやすく解説しています。

論理学との相似