コンパイラジェネレータ
部分評価プログラムを自己適用すると、コンパイラジェネレータが生成される、という理論がある。第3二村射影という。