Rule-based program specialization to optimize gradually typed code | Publicación