Malmkjær, Karoline

• BRICS Report Series No. 17 (1996): RS-17 Eta-Expansion Does The Trick (Revised Version) - Articles
  Eta-Expansion Does The Trick (Revised Version)
  Abstract  PDF
• BRICS Report Series No. 41 (1995): RS-41 Eta-Expansion Does The Trick - Articles
  Eta-Expansion Does The Trick
  Abstract  PDF
• BRICS Report Series No. 14 (1996): RS-14 On the Idempotence of the CPS Transformation - Articles
  On the Idempotence of the CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 12 (2001): RS-12 The Abstraction and Instantiation of String-Matching Programs - Articles
  The Abstraction and Instantiation of String-Matching Programs
  Abstract  PDF