関数型言語における型理論 (<特集>関数型プログラミングとその応用)

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1988-08-15

著者

• 林 晋

  京都大学数理解析研究所

関連論文

• 自己相似集合とタルスキーの不動点 : 自己参照系とフラクタル
• 関数型言語における型理論 (関数型プログラミングとその応用)
• 型理論
• カテゴリーと代数仕様の基礎
• 証明とプログラム--もう一つの論理プログラミング (応用論理)

スポンサーリンク