言語変換
http://www.diku.dk/~yokoyama/TetsuoYokoyamaOld.htmlさんの論文
Deterministic Higher-order Patterns for Program Transformationというのがあった、どうもパターン(ルール)をつかって言語変換するといいうフレームワークの理論的な論文らしい。
Higher-order patterns, together with higher-order matching, enable concise speci
fication of program transformation, and have been implemented in several program
transformation systems.
どうもHaskell派の人々らしい、とりあえず論文は難しすぎるのでこれをベースに参考文献を
さがそう。まずは