A Partial Evaluator for Curry

@inproceedings{Hanus2014APE,
  title={A Partial Evaluator for Curry},
  author={Michael Hanus and Bj{\"o}rn Peem{\"o}ller},
  booktitle={WLP/WFLP},
  year={2014}
}
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 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… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…