Data | Título | Autor(es) | Tipo | Acesso |
2008 | Calculating invariants as coreflexive bisimulations | Barbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, Alexandra | Artigo em ata de conferência | Acesso aberto |
2011 | Calculating with lenses: optimising bidirectional transformations | Pacheco, Hugo; Cunha, Alcino | Artigo em ata de conferência | Acesso aberto |
1997 | CAMILA: formal software engineering supported by functional programming | Almeida, José João; Barbosa, L. S.; Neves, F. L., et al. | Artigo em ata de conferência | Acesso aberto |
1997 | CAMILA: prototyping and refinement of constructive specifications | Almeida, José João; Barbosa, L. S.; Neves, F. L., et al. | Artigo em ata de conferência | Acesso aberto |
2004 | Generalizing Hylo-shift | Pinto, Jorge Sousa | Relatório | Acesso aberto |
2004 | Making the point-free calculus less pointless | Cunha, Alcino; Pinto, Jorge Sousa | Artigo em ata de conferência | Acesso aberto |
2010 | Matrices as arrows! A biproduct approach to typed linear algebra | Oliveira, José Nuno Fonseca; Macedo, Hugo Daniel | Artigo em ata de conferência | Acesso aberto |
2004 | Point-free program transformation | Cunha, Alcino; Pinto, Jorge Sousa | Relatório | Acesso aberto |
2005 | Point-free program transformation | Cunha, Alcino; Pinto, Jorge Sousa | Artigo | Acesso aberto |
2011 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso aberto |
2007 | A shortcut fusion rule for circular program calculation | Fernandes, João Paulo; Pardo, Alberto; Saraiva, João Alexandre | Artigo em ata de conferência | Acesso aberto |
2009 | Shortcut fusion rules for the derivation of circular and higher-order monadic programs | Pardo, Alberto; Fernandes, João Paulo; Saraiva, João Alexandre | Artigo em ata de conferência | Acesso aberto |
2006 | Type-safe two-level data transformation | Cunha, Alcino; Oliveira, José Nuno Fonseca; Visser, Joost | Artigo em ata de conferência | Acesso aberto |