João Paulo de Sousa Ferreira Fernandes


AuthID: R-000-7AT

Publicações Confirmadas: 104



101
TÍTULO: Strictification of circular programs
AUTORES: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLICAÇÃO: 2011, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 4
102
TÍTULO: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTORES: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2009, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 5
103
TÍTULO: A Shortcut Fusion Rule for Circular Program Calculation
AUTORES: Fernandes, JP ; Pardo, A; Saraiva, J ;
PUBLICAÇÃO: 2007, FONTE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
104
TÍTULO: Tools and libraries to model and manipulate circular programs
AUTORES: João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2007, FONTE: PEPM
INDEXADO EM: Scopus DBLP CrossRef: 14
Página 11 de 11. Total de resultados: 104.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service