Nielsen, Lasse R.

• BRICS Report Series No. 47 (2000): RS-47 A Denotational Investigation of Defunctionalization - Articles
  A Denotational Investigation of Defunctionalization
  Abstract  PDF
• BRICS Report Series No. 30 (2001): RS-30 A Selective CPS Transformation - Articles
  A Selective CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 2 (2002): RS-2 A Simple Correctness Proof of the Direct-Style Transformation - Articles
  A Simple Correctness Proof of the Direct-Style Transformation
  Abstract  PDF
• BRICS Report Series No. 4 (2002): RS-4 Syntactic Theories in Practice - Articles
  Syntactic Theories in Practice
  Abstract  PDF
• BRICS Report Series No. 3 (2002): RS-3 On One-Pass CPS Transformations - Articles
  On One-Pass CPS Transformations
  Abstract  PDF
• BRICS Report Series No. 23 (2001): RS-23 Defunctionalization at Work - Articles
  Defunctionalization at Work
  Abstract  PDF
• BRICS Report Series No. 39 (2004): RS-39 CPS Transformation of Beta-Redexes - Articles
  CPS Transformation of Beta-Redexes
  Abstract  PDF
• BRICS Report Series No. 35 (2000): RS-35 CPS Transformation of Beta-Redexes - Articles
  CPS Transformation of Beta-Redexes
  Abstract  PDF
• BRICS Report Series No. 49 (2001): RS-49 A First-Order One-Pass CPS Transformation - Articles
  A First-Order One-Pass CPS Transformation
  Abstract  PDF
• BRICS Report Series No. 33 (2000): RS-33 A Higher-Order Colon Translation - Articles
  A Higher-Order Colon Translation
  Abstract  PDF
• BRICS Report Series No. 31 (2001): RS-31 Syntactic Theories in Practice - Articles
  Syntactic Theories in Practice
  Abstract  PDF
• BRICS Report Series No. 26 (2004): RS-26 Refocusing in Reduction Semantics - Articles
  Refocusing in Reduction Semantics
  Abstract  PDF
• BRICS Report Series No. 6 (2007): RS-6 On One-Pass CPS Transformations - Articles
  On One-Pass CPS Transformations
  Abstract  PDF