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: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003
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
Fusion of recursive programs with computational effects
A Pardo
Theoretical Computer Science 260 (1-2), 165-207, 2001
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, 105-139, 1998
Combining datatypes and effects
A Pardo
Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005
A gradual type system for Elixir
M Cassola, A Talagorria, A Pardo, M Viera
Proceedings of the 24th Brazilian Symposium on Context-oriented Programming …, 2020
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), 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
Shortcut Fusion of Monadic Programs.
C Manzino, A Pardo
J. Univers. Comput. Sci. 14 (21), 3431-3446, 2008
Program fusion with paramorphisms
F Domínguez, A Pardo
Workshop on Mathematically Structured Functional Programming (MSFP 2006), 2006
A multi-stage language with intensional analysis
M Viera, A Pardo
Proceedings of the 5th international conference on Generative programming …, 2006
A calculational approach to strong datatypes
A Pardo
Selected Papers from the 8th Nordic Workshop on Programming Theory. Research …, 1996
Memoized zipper-based attribute grammars and their higher order extension
JP Fernandes, P Martins, A Pardo, J Saraiva, M Viera
Science of Computer Programming 173, 71-94, 2019
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
Multiple intermediate structure deforestation by shortcut fusion
A Pardo, JP Fernandes, J Saraiva
Science of Computer Programming 132, 77-95, 2016
Java Stream Fusion: Adapting FP mechanisms for an OO setting
F Ribeiro, J Saraiva, A Pardo
Proceedings of the XXIII Brazilian Symposium on Programming Languages, 30-37, 2019
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
The system can't perform the operation now. Try again later.
Articles 1–20