Data | Título | Autor(es) | Tipo | Acesso |
2012 | Constraint-aware schema transformation | Alves, Tiago L.; Silva, Paulo F.; Visser, Joost | Artigo | Acesso aberto |
2007 | Coupled schema transformation and data conversion for XML and SQL | Berdaguer, Pablo; Cunha, Alcino; Pacheco, Hugo, et al. | Artigo em ata de conferência | Acesso aberto |
Jun-2005 | Down with variables | Cunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel Paiva | Relatório | Acesso aberto |
Out-2006 | Engenharia reversa de sistemas interactivos desenvolvidos em Java2/Swing | Saraiva, João Alexandre; Campos, J. Creissac; Silva, João Carlos | Artigo em ata de conferência | Acesso aberto |
3-Ago-2023 | Functional programming for explainable AI | Esteves, Gonçalo José Azevedo | Dissertação de mestrado | Acesso aberto |
2008 | 'Galculator': functional prototype of a Galois-connection based proof assistant | Silva, Paulo F.; Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso aberto |
Nov-2009 | Implementation of an orchestration language as a haskell domain specific language | Campos, Marco Devesas; Barbosa, L. S. | Artigo | Acesso aberto |
2021 | Selective applicative functors & probabilistic programming | Santos, Armando João Isaías Ferreira dos | Dissertação de mestrado | Acesso aberto |
2006 | Strong types for relational databases: functional pearl | Visser, Joost; Silva, Alexandra M. | Artigo em ata de conferência | Acesso aberto |
2020 | Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl) | Santos, Armando; Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso restrito UMinho |
2007 | A type-level approach to component prototyping | Barbosa, L. S.; Cunha, Jácome Miguel Costa; Visser, Joost | Artigo em ata de conferência | Acesso aberto |