Tilbage til artikeldetaljer A Computational Formalization for Partial Evaluation (Extended Version) Download Download PDF