-
RS-24 A Functional Correspondence between Call-by-Need Evaluators and Lazy Abstract MachinesNo 24 (2003)Full text not available. This report is superseded by the later report BRICS RS-04-3
-
RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block StructureNo 54 (1998)Full text not available. This report is superseded by the later report BRICS RS-99-27
-
RS-02 An Extensional Characterization of Lambda-Lifting and Lambda-DroppingNo 2 (1998)Full text not available. This report is superseded by the later report BRICS RS-99-21.
Previous
351-670 of 670