Alberto Pardo
Alberto Pardo
Professor of Computer Science, Instituto de Computacion, Universidad de la Republica, Uruguay
Verified email at fing.edu.uy - Homepage
Title
Cited by
Cited by
Year
Recursion schemes from comonads
T Uustalu, V Vene, A Pardo
Nordic Journal of Computing 8 (3), 366-390, 2001
702001
Generic accumulations
A Pardo
Generic Programming, 49-78, 2003
422003
Fusion of recursive programs with computational effects
A Pardo
Theoretical Computer Science 260 (1-2), 165-207, 2001
342001
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
332007
Towards merging recursion and comonads
A Pardo
Proceedings of the 2nd Workshop on Generic Programming, WGP’00, 50-68, 2000
242000
Monadic corecursion—definition, fusion laws, and applications—
A Pardo
Electronic Notes in Theoretical Computer Science 11, 105-139, 1998
211998
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
162011
Combining datatypes and effects
A Pardo
Advanced functional programming, 171-209, 2005
162005
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
142009
A calculational approach to recursive programs with effects
A Pardo
142001
Shortcut Fusion of Monadic Programs.
C Manzino, A Pardo
J. Univers. Comput. Sci. 14 (21), 3431-3446, 2008
122008
Program fusion with paramorphisms
F Domínguez, A Pardo
Workshop on Mathematically Structured Functional Programming (MSFP 2006), 1-16, 2006
102006
A calculational approach to strong datatypes
A Pardo
Selected Papers from the 8th Nordic Workshop on Programming Theory. Research …, 1996
91996
An internalist approach to correct-by-construction compilers
A Pardo, E Gunther, M Pagano, M Viera
Proceedings of the 20th International Symposium on Principles and Practice …, 2018
82018
Multiple intermediate structure deforestation by shortcut fusion
A Pardo, JP Fernandes, J Saraiva
Science of Computer Programming 132, 77-95, 2016
82016
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
62011
Applicative shortcut fusion
GA Delbianco, M Jaskelioff, A Pardo
International Symposium on Trends in Functional Programming, 179-194, 2011
62011
A security types preserving compiler in Haskell
C Manzino, A Pardo
Brazilian Symposium on Programming Languages, 16-30, 2014
52014
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
52009
Structure verification of deep neural networks at compilation time using dependent types
L Piñeyro, A Pardo, M Viera
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 46-53, 2019
42019
The system can't perform the operation now. Try again later.
Articles 1–20