Partial Evaluation
en.wikipedia.org