南山大学数理情報学部 情報通信学科
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
命令言語のための多相型推論アルゴリズムは,Tofte により提案され,現在では,Standard ML として実用化されている.しかし,Tofte が提案した型推論アルゴリズムは,多相型に対しての制約が厳しい.その理由は,プログラムを最初から推論するアルゴリズムにあると考えられる.我々は,コンパイラの最適化処理に用いられる値グラフを用いることにより,この制約を緩和する多相型推論アルゴリズムを提案する.
すでにアカウントをお持ちの場合 サインインはこちら