Search the dblp DataBase

Publications of Author

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