dblp.uni-trier.dewww.uni-trier.de

Karoline Malmkjær Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2002
11EETorben 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)
9EEOlivier 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
2EEKaroline Malmkjær: On Some Semantic Issues in the Reflective Tower. Mathematical Foundations of Programming Semantics 1989: 229-246
1988
1EEOlivier Danvy, Karoline Malmkjær: Intensions and Extensions in a Reflective Tower. LISP and Functional Programming 1988: 327-341

Coauthor Index

1Torben Amtoft (Torben Amtoft Hansen) [11]
2Charles Consel [11]
3Olivier Danvy [1] [6] [7] [9] [10] [11]
4Nevin Hentze [10]
5Peter Ørbæk [8]
6Jens Palsberg [6] [7] [9]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)