Return to Article Details A Computational Formalization for Partial Evaluation (Extended Version) Download Download PDF