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