Travelled to:1 × Denmark
4 × USA
Collaborated with:∅ O.Danvy P.Ørbæk J.Palsberg
Talks about:properti (2) program (2) partial (2) evalu (2) specialis (1) structur (1) polyvari (1) special (1) reflect (1) predict (1)
Person: Karoline Malmkjær
DBLP: Malmkj=aelig=r:Karoline
Contributed to:
1995199419931992
1991
1988Wrote 6 papers:
- PEPM-1995-MalmkjaerO #higher-order
- Polyvariant Specialisation for Higher-Order, Block-Structured Languages (KM, PØ), pp. 66–76.
- PEPM-1994-DanvyMP #partial evaluation
- The Essence of Eta-Expansion in Partial Evaluation (OD, KM, JP), pp. 11–20.
- PEPM-1993-Malmkjaer #partial evaluation #performance #towards
- Towards Efficient Partial Evaluation (KM), pp. 33–43.
- PEPM-1992-Malmkjaer #predict #source code
- Predicting Properties of Residual Programs (KM), pp. 8–13.
- WSA-1991-Malmkjaer #on the #source code
- On Static Properties of Specialized Programs (KM), pp. 234–241.
- LFP-1988-DanvyM
- Intensions and Extensions in a Reflective Tower (OD, KM), pp. 327–341.