| 2002 |
|---|
| 11 | EE | Torben Amtoft,
Charles Consel,
Olivier Danvy,
Karoline Malmkjær:
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation 2002: 332-357 |
| 1996 |
|---|
| 10 | | Olivier Danvy,
Nevin Hentze,
Karoline Malmkjær:
Resource-Bounded Partial Evaluation.
ACM Comput. Surv. 28(2): 329-332 (1996) |
| 9 | EE | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst. 18(6): 730-751 (1996) |
| 1995 |
|---|
| 8 | | Karoline Malmkjær,
Peter Ørbæk:
Polyvariant Specialisation for Higher-Order, Block-Structured Languages.
PEPM 1995: 66-76 |
| 7 | | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation.
Lisp and Symbolic Computation 8(3): 209-227 (1995) |
| 1994 |
|---|
| 6 | | Olivier Danvy,
Karoline Malmkjær,
Jens Palsberg:
The Essence of Eta-Expansion in Partial Evaluation.
PEPM 1994: 11-20 |
| 1993 |
|---|
| 5 | | Karoline Malmkjær:
Towards Efficient Partial Evaluation.
PEPM 1993: 33-43 |
| 1992 |
|---|
| 4 | | Karoline Malmkjær:
Predicting Properties of Residual Programs.
PEPM 1992: 8-13 |
| 1991 |
|---|
| 3 | | Karoline Malmkjær:
On Static Properties of Specialized Programs.
JTASPEFT/WSA 1991: 234-241 |
| 1989 |
|---|
| 2 | | Karoline Malmkjær:
On Some Semantic Issues in the Reflective Tower.
Mathematical Foundations of Programming Semantics 1989: 229-246 |
| 1988 |
|---|
| 1 | EE | Olivier Danvy,
Karoline Malmkjær:
Intensions and Extensions in a Reflective Tower.
LISP and Functional Programming 1988: 327-341 |
