@article{oai:ipsj.ixsq.nii.ac.jp:00016918,
 author = {西崎, 真也 and 樋口, 貴志 and Shin-Ya, Nishizaki and Takayuki, Higuchi},
 issue = {SIG09(PRO8)},
 journal = {情報処理学会論文誌プログラミング（PRO）},
 month = {Nov},
 note = {本論文では，ファーストクラス環境の機構を用いて単一化機構を関数型言語へ組み込む方法を提唱する．単一化子は変数上の代入として表現されるが，これを変数の束縛する環境とを同一視することにより，単一化の機構を関数型言語へ自然に組み込むことが可能となる．, In this paper, we propose a way of embedding of the unification mechanism into function languages through facility of first-class environments, where unificands are introduced as expressions and their evaluation is defined as the first-order unification.},
 pages = {103--103},
 title = {ファーストクラス環境による単一化機構の関数型言語への組み込み},
 volume = {41},
 year = {2000}
}