A partial evaluation methodology for optimizing rewrite theories incrementally | Publicación