Anders Bondorf Jens Palsberg Generating Action Compilers by Partial Evaluation. 269-298 1996 6 J. Funct. Program. 2 db/journals/jfp/jfp6.html#BondorfP96