Tilbage til artikeldetaljer Partial Evaluation of the Euclidian Algorithm (Extended Version) Download Download PDF