João Paulo de Sousa Ferreira Fernandes


AuthID: R-000-7AT

Confirmed Publications: 104



101
TITLE: Strictification of circular programs
AUTHORS: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLISHED: 2011, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 4
102
TITLE: Shortcut fusion rules for the derivation of circular and higher-order monadic programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2009, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 5
103
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Fernandes, JP ; Pardo, A; Saraiva, J ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP
INDEXED IN: Scopus WOS DBLP CrossRef: 16
104
TITLE: Tools and libraries to model and manipulate circular programs
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM
INDEXED IN: Scopus DBLP CrossRef: 14
Page 11 of 11. Total results: 104.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service