Intensions and Extensions in a Reflective Tower. - Olivier Danvy; Karoline Malmkjær (LISP and Functional Programming, 1988)

On Some Semantic Issues in the Reflective Tower. - Karoline Malmkjær (Mathematical Foundations of Programming Semantics, 1989)

On Static Properties of Specialized Programs. - Karoline Malmkjær (JTASPEFT/WSA, 1991)

Predicting Properties of Residual Programs. - Karoline Malmkjær (PEPM, 1992)

Towards Efficient Partial Evaluation. - Karoline Malmkjær (PEPM, 1993)

The Essence of Eta-Expansion in Partial Evaluation. - Olivier Danvy; Karoline Malmkjær; Jens Palsberg (PEPM, 1994)

Polyvariant Specialisation for Higher-Order, Block-Structured Languages. - Karoline Malmkjær; Peter Ørbæk (PEPM, 1995)

Resource-Bounded Partial Evaluation. - Olivier Danvy; Nevin Hentze; Karoline Malmkjær (ACM Comput. Surv., 1996)

Eta-Expansion Does The Trick. - Olivier Danvy; Karoline Malmkjær; Jens Palsberg (ACM Trans. Program. Lang. Syst., 1996)

The Abstraction and Instantiation of String-Matching Programs. - Torben Amtoft; Charles Consel; Olivier Danvy; Karoline Malmkjær (The Essence of Computation, 2002)