View of A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Return to Article Details A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines Download Download PDF