Data | Título | Autor(es) | Tipo | Acesso |
Mai-2005 | Functional programming and program transformation with interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Relatório | Acesso aberto |
2009 | Iterators and interaction | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |
2006 | A local graph-rewriting system for deciding equality in sum-product theories | Pinto, Jorge Sousa; Almeida, José Bacelar; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |
2007 | A local graph-rewriting system for deciding equality in sum-product theories | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
2008 | Token-passing nets for functional languages | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
2008 | A tool for programming with interaction nets | Almeida, José Bacelar; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |
2007 | Visual programming with recursion patterns in interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |
2007 | Visual programming with recursion patterns in interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo | Acesso aberto |