Tilbage til artikeldetaljer Higher-Order Rewriting and Partial Evaluation Download Download PDF