Title: Partial Evaluation : Practice and Theory