Data | Título | Autor(es) | Tipo | Acesso |
2001 | Combining interaction nets with externally defined programs | Fernández, Maribel; Mackie, Ian; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
Ago-2002 | Encoding linear logic with interaction combinators | Mackie, Ian; Pinto, Jorge Sousa | Artigo | Acesso aberto |
Mai-2005 | Functional programming and program transformation with interaction nets | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Relatório | Acesso aberto |
2007 | A higher-order calculus for graph transformation | Fernández, Maribel; Mackie, Ian; Pinto, Jorge Sousa | Artigo | Acesso aberto |
2009 | Iterators and interaction | Mackie, Ian; Pinto, Jorge Sousa; Vilaça, Miguel | Artigo em ata de conferência | Acesso aberto |
2008 | Visual programming with Interaction Nets | Hassan, Abubakar; Mackie, Ian; Pinto, Jorge Sousa | 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 |
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 |