東北大学大学院情報科学研究科
2008 年 25 巻 2 号 p. 2_28-2_38
(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)
(BibDesk、LaTeXとの互換性あり)
約2000行のMLコードにより実装された，教育目的のコンパイラMinCamlについて議論する．対象言語は値呼び，非純粋，暗な単相型を持つ高階関数型言語である．レイトレーシングを含むいくつかのアプリケーション・プログラムに対し，実行速度においてObjective CamlやGCCとほぼ同等のコードを生成することができた．
すでにアカウントをお持ちの場合 サインインはこちら
