An offline partial evaluator for curry programs | Publicación