Tilbage til artikeldetaljer A Functional Correspondence between Evaluators and Abstract Machines Download Download PDF