A partial evaluation tool for multi-paradigm declarative languages | Publicación