Return to Article Details A Functional Correspondence between Evaluators and Abstract Machines Download Download PDF