Nr. 24 (2003): RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract Machines
Full text not available. This report is superseded by the later report BRICS RS-04-3
Publiceret:
2003-01-24
