@INPROCEEDINGS{BrasselHanusPeemoellerReck11,
author    = "Bra{\ss}el, B. and Hanus, M. and Peem{\"o}ller, B. and Reck, F.",
title     = "KiCS2: A New Compiler from Curry to Haskell",
year      = "2011",
booktitle = "Proc.\ of the 20th International Workshop on Functional and
             (Constraint) Logic Programming (WFLP 2011)",
pages     = {1-18},
publisher = {Springer LNCS 6816},
abstract = {
In this paper we present our first steps towards a new system
to compile functional logic programs of the source language Curry
into purely functional Haskell programs.
Our implementation is based on the idea to represent
non-deterministic results as values of the data types corresponding
to the results.
This enables the application of various search strategies
to extract values from the search space.
We show by several benchmarks that our implementation
can compete with or outperform other existing implementations of Curry.
}
}