Uwe Meyer Correctness of On-Line Partial Evaluation for a Pascal-Like Language. 55-73 1999 34 Sci. Comput. Program. 1 db/journals/scp/scp34.html#Meyer99