Thiemann, Peter J., 1996. Cogen in six lines. In SIGPLAN Not., Association for Computing Machinery, New York, NY, USA, vol. 31, pp. 180–189.
Abstract: We have designed and implemented a program-generator generator (PGG) for an untyped higher-order functional programming language. The program generators perform continuation-based multi-level offline specialization and thus combine the most powerful and general offline partial evaluation techniques. The correctness of the PGG is ensured by deriving it from a multi-level specialize. Our PGG is extremely simple to implement due to the use of multi-level techniques and higher-order abstract syntax.