Visning af: A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines

Tilbage til artikeldetaljer A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines Download Download PDF