Rose, Kristoffer H.

• BRICS Report Series No. 46 (1997): RS-46 Higher-Order Rewriting and Partial Evaluation - Articles
  Higher-Order Rewriting and Partial Evaluation
  Abstract  PDF
• BRICS Report Series No. 56 (1996): RS-56 Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution - Articles
  Modeling, Sharing, and Recursion for Weak Reduction Strategies using Explicit Substitution
  Abstract  PDF
• BRICS Report Series No. 16 (2001): RS-16 Normalization by Evaluation with Typed Abstract Syntax - Articles
  Normalization by Evaluation with Typed Abstract Syntax
  Abstract  PDF