books.google.co.uk - A partial evaluator is a function that takes a program, together with some of the input to the program, and produces a new program as a result. This new program is an optimized version of the old, having taken the input data into account. Prior to partial evaluation, the input program undergoes analysis....https://books.google.co.uk/books/about/Project_Factorisations_in_Partial_Evalua.html?id=B1UTK2j8rksC&utm_source=gb-gplus-shareProject Factorisations in Partial Evaluation