Percorrer por assunto Point-free programming
Mostrar 1-5 de um total de 5 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
2011 | Calculating with lenses: optimising bidirectional transformations | Pacheco, Hugo; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
2012 | Delta lenses over inductive types | Pacheco, Hugo; Cunha, Alcino; Hu, Zhenjiang | Artigo | Acesso aberto |
Jun-2005 | Down with variables | Cunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel Paiva | Relatório | 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 |
2005 | Point-free program transformation | Cunha, Alcino; Pinto, Jorge Sousa | Artigo | Acesso aberto |