Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 12 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2007Higher-order lazy functional slicingRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2002Coinductive interpreters for process calculiBarbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2015Zipper-based modular and deforested computationsMartins, Pedro Miguel Ribeiro; Fernandes, João Paulo Soares; Saraiva, JoãoArtigo em ata de conferênciaAcesso aberto
2006A framework for point-free program transformationCunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel PaivaArtigo em ata de conferênciaAcesso aberto
2019Memoized zipper-based attribute grammars and their higher order extensionFernandes, João Paulo; Martins, Pedro; Pardo, Alberto; Saraiva, João; Viera, MarcosArtigoAcesso aberto
2016Embedding attribute grammars and their extensions using functional zippersMartins, Pedro; Fernandes, João Paulo; Saraiva, João; Van Wyk, Eric; Sloane, AnthonyArtigoAcesso aberto
2016Multiple intermediate structure deforestation by shortcut fusionPardo, Alberto; Fernandes, João Paulo; Saraiva, JoãoArtigoAcesso aberto
2004Point-free program transformationCunha, Alcino; Pinto, Jorge SousaRelatórioAcesso aberto
2012A purely functional combinator language for software quality assessmentMartins, Pedro Miguel Ribeiro; Fernandes, João Paulo; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
Mai-2005Recursion patterns and time-analysisBarbosa, Manuel; Cunha, Alcino; Pinto, Jorge SousaArtigoAcesso aberto
1-10 de um total de 12 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir