Fast narrowing-driven partial evaluation for inductively sequential programs | Publicación