Data | Título | Autor(es) | Tipo | Acesso |
Mar-2013 | Alloy meets the algebra of programming: a case study | Oliveira, José Nuno Fonseca; Ferreira, Miguel A. | Artigo | Acesso aberto |
2001 | "Bagatelle in C arranged for VDM SoLo" | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
1998 | "Explosive" programming controlled by calculation | Oliveira, José Nuno Fonseca | Relatório | Acesso aberto |
2022 | Greedy and dynamic programming by calculation | Pinho, Alexandre Mendonça | Dissertação de mestrado | Acesso aberto |
Set-2015 | Metaphorisms in programming | Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso aberto |
2012 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2011 | Programming from Galois connections | Mu, Shin-Cheng; Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso aberto |
2015 | A study of risk-aware program transformation | Murta, Daniel Rodrigues Pacheco; Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2012 | Towards a linear algebra of programming | Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2013 | Typing linear algebra : a biproduct-oriented approach | Macedo, Hugo Daniel; Oliveira, José Nuno Fonseca | Artigo | Acesso aberto |
2023 | Why Adjunctions Matter—A Functional Programmer Perspective | Oliveira, José Nuno Fonseca | Artigo em ata de conferência | Acesso restrito UMinho |