@INPROCEEDINGS{HanusPeemoeller14WFLP,
author    = "Hanus, M. and Peem{\"o}ller, B.",
title     = "A Partial Evaluator for Curry",
year      = "2014",
booktitle = "Proc.\ of the 23rd International Workshop on Functional and
             (Constraint) Logic Programming (WFLP 2014)",
pages     = {55-71},
publisher = {Universit\"at Halle-Wittenberg},
abstract = {
We present a partial evaluator for functional logic programs
written in Curry.
In contrast to previous approaches to the partial evaluation
of functional logic programs, we take into account
the features used in contemporary Curry programs,
in particular, non-deterministic operations
and recursive \code{let} expressions.
For this purpose, we base our partial evaluator on FlatCurry,
an intermediate language for the representation of Curry programs.
We sketch our approach and present initial benchmarks
of our implementation.
}
}