@techreport{oai:ipsj.ixsq.nii.ac.jp:00031010,
 author = {中江, 信行 and Nobuyuki, Nakae},
 issue = {12(1988-PRO-020)},
 month = {Feb},
 note = {関数型言語Standard MLは、簡潔なセマンテイクスと同時にパターン・マッチング、例外処理をはじめとする強力な表現能力をもつ実用的言語である。この言語の効率的なコンパイラは、strict semanticsに関連した実装法の有望なアプローチであるCAMに、上記のような機能を効率的に実行する命令コードが追加されたECAMを用いることにより実現できる。本論文では、この拡張されたCAM(ECAM)のアーキテクチャ、及び、ECAMへのコンパイラのアルゴリズムを、副作用のないStandard MLの中で簡潔に与える。, Standard ML is a practical functional language which has not only simple semantics but also strong descriptive power of pattern matching, exception handling. The efficient compiler can be implemented using Extended CAM(ECAM) with special codes to execute above higher facilities. In this paper, we describe the architecture of ECAM, and the algorithm of Standard ML Compiler in pure Standard ML(without no side effect)itself very succinctly.},
 title = {拡張CAMへのStandard MLコンパイラの実装法},
 year = {1989}
}