@INPROCEEDINGS{BrasselFischerHanusReck11Transform,
author    = "Bra{\ss}el, B. and Fischer, S. and Hanus, M. and Reck, F.",
title     = "Transforming Functional Logic Programs into
             Monadic Functional Programs",
year      = "2011",
booktitle = "Proc.\ of the 19th International Workshop on Functional and
             (Constraint) Logic Programming (WFLP 2010)",
pages     = {30-47},
publisher = {Springer LNCS 6559},
abstract = {
We present a high-level transformation scheme to translate lazy
functional logic programs into pure Haskell programs.  This
transformation is based on a recent proposal to efficiently
implement lazy non-deterministic computations in Haskell in a
monadic style.  We build on this work and define a systematic method
to transform lazy functional logic programs into monadic programs
with explicit sharing.  This results in a transformation scheme
which produces high-level and flexible target code.  For instance,
the target code is parametric w.r.t.\ the concrete evaluation monad.
Thus, different monad instances could, for example, define different
search strategies (e.g., depth-first, breadth-first, parallel).  We
formally describe the basic compilation scheme and some useful
extensions.
}
}