Filinski, Andrzej

• BRICS Report Series No. 17 (1999): RS-17 A Semantic Account of Type-Directed Partial Evaluation - Articles
  A Semantic Account of Type-Directed Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 40 (2003): RS-40 A Denotational Account of Untyped Normalization by Evaluation - Articles
  A Denotational Account of Untyped Normalization by Evaluation
  Abstract  PDF
• BRICS Report Series No. 4 (2005): RS-4 Denotational Aspects of Untyped Normalization by Evaluation - Articles
  Denotational Aspects of Untyped Normalization by Evaluation
  Abstract  PDF