>>106
意味論中立な処理系実装技術、ってことでOKなんじゃないの？
"Partial Evaluation and Automatic Program Generation"も
ほとんど関数型言語の話だよね。