Towards Scalable Partial Evaluation of Declarative Programs | Publicación