exploring partial evaluation with the text Partial Evaluation and Automatic Program Generation