Alberto Pardo
Alberto Pardo
Professor of Computer Science, Instituto de Computacion, Universidad de la Republica, Uruguay
Verified email at - Homepage
Cited by
Cited by
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
Generic accumulations
A Pardo
Generic Programming, 49-78, 2003
Fusion of recursive programs with computational effects
A Pardo
Theoretical Computer Science 260 (1-2), 165-207, 2001
A shortcut fusion rule for circular program calculation
JP Fernandes, A Pardo, J Saraiva
Proceedings of the ACM SIGPLAN workshop on Haskell workshop, 95-106, 2007
Towards merging recursion and comonads
A Pardo
Proceedings of the 2nd Workshop on Generic Programming, WGP’00, 50-68, 2000
Monadic corecursion—definition, fusion laws, and applications—
A Pardo
Electronic Notes in Theoretical Computer Science 11 (1), 105-139, 1998
Combining datatypes and effects
A Pardo
International School on Advanced Functional Programming, 171-209, 2004
Shortcut fusion rules for the derivation of circular and higher-order programs
A Pardo, JP Fernandes, J Saraiva
Higher-Order and Symbolic Computation 24 (1-2), 115-149, 2011
Shortcut fusion rules for the derivation of circular and higher-order monadic programs
A Pardo, JP Fernandes, J Saraiva
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009
A calculational approach to recursive programs with effects
A Pardo
Verlag nicht ermittelbar, 2001
Shortcut Fusion of Monadic Programs.
C Manzino, A Pardo
J. UCS 14 (21), 3431-3446, 2008
Program fusion with paramorphisms
F Domínguez, A Pardo
Workshop on Mathematically Structured Functional Programming (MSFP 2006), 1-16, 2006
A calculational approach to strong datatypes
A Pardo
Selected Papers from the 8th Nordic Workshop on Programming Theory. Research …, 1996
Multiple intermediate structure deforestation by shortcut fusion
A Pardo, JP Fernandes, J Saraiva
Science of Computer Programming 132, 77-95, 2016
Applicative shortcut fusion
GA Delbianco, M Jaskelioff, A Pardo
International Symposium on Trends in Functional Programming, 179-194, 2011
Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011, Proceedings
G Barthe, A Pardo, G Schneider
Springer Science & Business Media, 2011
Language Engineering and Rigorous Software Development: International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24-March 1, 2008, Revised, Selected Papers
A Bove, LS Barbosa, A Pardo, JS Pinto
Springer Science & Business Media, 2009
A security types preserving compiler in Haskell
C Manzino, A Pardo
Brazilian Symposium on Programming Languages, 16-30, 2014
A shortcut fusion approach to accumulations
M Martínez, A Pardo
Science of Computer Programming 78 (8), 1121-1136, 2013
Formal semantics and expressiveness of a web service composition language
MG Hahn, R Motz, A Pardo, MA Musicante
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1667-1673, 2013
The system can't perform the operation now. Try again later.
Articles 1–20