Poly-controlled partial evaluation in practice | Publicación