Karoline Malmkjær

11 papers B 1C 4Journal 3Unranked 3
YearRankTypeTitle / Venue / Authors
2002 — conf
The Abstraction and Instantiation of String-Matching Programs.
The Essence of Computation
Torben Amtoft, Charles Consel, Olivier Danvy, Karoline Malmkjær
1996 J jnl
Eta-Expansion Does The Trick.
ACM Trans. Program. Lang. Syst.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1996 J jnl
Resource-Bounded Partial Evaluation.
ACM Comput. Surv.
Olivier Danvy, Nevin Hentze, Karoline Malmkjær
1995 C conf
Polyvariant Specialisation for Higher-Order, Block-Structured Languages.
PEPM
Karoline Malmkjær, Peter Ørbæk
1995 J jnl
The Essence of Eta-Expansion in Partial Evaluation.
LISP Symb. Comput.
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1994 C conf
The Essence of Eta-Expansion in Partial Evaluation.
PEPM
Olivier Danvy, Karoline Malmkjær, Jens Palsberg
1993 C conf
Towards Efficient Partial Evaluation.
PEPM
Karoline Malmkjær
1992 C conf
Predicting Properties of Residual Programs.
PEPM
Karoline Malmkjær
1991 — conf
On Static Properties of Specialized Programs.
JTASPEFT/WSA
Karoline Malmkjær
1989 B conf
On Some Semantic Issues in the Reflective Tower.
Mathematical Foundations of Programming Semantics
Karoline Malmkjær
1988 — conf
Intensions and Extensions in a Reflective Tower.
LISP and Functional Programming
Olivier Danvy, Karoline Malmkjær