Schultz, Ulrik P.

• BRICS Report Series No. 6 (1997): RS-06 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract  PDF
• BRICS Report Series No. 26 (2003): RS-26 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 27 (1999): RS-27 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract  PDF
• BRICS Report Series No. 30 (2002): RS-30 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 12 (2004): RS-12 Lambda-Lifting in Quadratic Time - Articles
  Lambda-Lifting in Quadratic Time
  Abstract  PDF
• BRICS Report Series No. 54 (1998): RS-54 Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure - Articles
  Lambda-Dropping: Transforming Recursive Equations into Programs with Block Structure
  Abstract