枝刈り機構とメモ化機構をもつ言語 - 岩崎, 英哉; 森本, 武資; 竹内, 郁雄 (日本ソフトウェア科学会大会講演論文集, 2003)
Keywords: プログラミング言語; 評価機構