Um Sistema de Tipos para uma Linguagem de Transformação

Publication
IX Simpósio Brasileiro de Linguagens de Programação (SBLP 2005)
comments powered by Disqus