A Partial Evaluation Framework for Curry Programs | Publicación