Graphical and incremental type inference. A graph transformation approach | Publicación