Karoline Malmkjær

According to our database, Karoline Malmkjær authored at least 10 papers between 1988 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

The Abstraction and Instantiation of String-Matching Programs.

Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

1996

Eta-Expansion Does The Trick.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

ACM Trans. Program. Lang. Syst., 1996

Resource-Bounded Partial Evaluation.

Olivier Danvy, Nevin Hentze, Karoline Malmkjær

ACM Comput. Surv., 1996

1995

The Essence of Eta-Expansion in Partial Evaluation.

Olivier Danvy, Karoline Malmkjær, Jens Palsberg

LISP Symb. Comput., 1995

Polyvariant Specialisation for Higher-Order, Block-Structured Languages.

Karoline Malmkjær, Peter Ørbæk

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

Towards Efficient Partial Evaluation.

Karoline Malmkjær

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1993

1992

Predicting Properties of Residual Programs.

Karoline Malmkjær

Proceedings of the PEPM'92, 1992

1991

On Static Properties of Specialized Programs.

Karoline Malmkjær

Proceedings of the Actes JTASPEFL'91 (Bordeaux, 1991

1989

On Some Semantic Issues in the Reflective Tower.

Karoline Malmkjær

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

1988

Intensions and Extensions in a Reflective Tower.

Olivier Danvy, Karoline Malmkjær

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, 1988