Charles Consel Siau-Cheng Khoo Parameterized Partial Evaluation. 92-106 1991 PLDI db/conf/pldi/pldi91.html#ConselK91