集合演算を備えた型体系について

スポンサーリンク

概要

• 論文の詳細を見る
• 社団法人電子情報通信学会の論文
• 1996-09-18

著者

• 横内 寛文

  群馬大学情報工学科

• 横内 寛文

  群馬大学工学部情報工学科

関連論文

• 関数型プログラムにおける遅延型を用いたストリクトネス解析アルゴリズムの正当性と停止性
• 集合演算を備えた型体系について

スポンサーリンク