Karoline Malmkjær

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
c8		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
j3		Olivier Danvy, Nevin Hentze, Karoline Malmkjær: Resource-Bounded Partial Evaluation. ACM Comput. Surv. 28(2): 329-332 (1996)
j2		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: Eta-Expansion Does The Trick. ACM Trans. Program. Lang. Syst. 18(6): 730-751 (1996)
	1995
j1		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. Lisp and Symbolic Computation 8(3): 209-227 (1995)
c7		Karoline Malmkjær, Peter Ørbæk: Polyvariant Specialisation for Higher-Order, Block-Structured Languages. PEPM 1995: 66-76
	1994
c6		Olivier Danvy, Karoline Malmkjær, Jens Palsberg: The Essence of Eta-Expansion in Partial Evaluation. PEPM 1994: 11-20
	1993
c5		Karoline Malmkjær: Towards Efficient Partial Evaluation. PEPM 1993: 33-43
	1992
c4		Karoline Malmkjær: Predicting Properties of Residual Programs. PEPM 1992: 8-13
	1991
c3		Karoline Malmkjær: On Static Properties of Specialized Programs. JTASPEFT/WSA 1991: 234-241
	1989
c2		Karoline Malmkjær: On Some Semantic Issues in the Reflective Tower. Mathematical Foundations of Programming Semantics 1989: 229-246
	1988
c1		Olivier Danvy, Karoline Malmkjær: Intensions and Extensions in a Reflective Tower. LISP and Functional Programming 1988: 327-341

Coauthor Index

1	Torben Amtoft (Torben Amtoft Hansen)	[c8]
2	Charles Consel	[c8]
3	Olivier Danvy	[c8] [j3] [j2] [j1] [c6] [c1]
4	Nevin Hentze	[j3]
5	Jens Palsberg	[j2] [j1] [c6]
6	Peter Ørbæk	[c7]

Last update Sat May 25 14:48:44 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page