| Recursion schemes from comonads T Uustalu, V Vene, A Pardo Nordic Journal of Computing 8 (3), 366-390, 2001 | 75 | 2001 |
| Generic accumulations A Pardo Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003 | 46 | 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 | 35 | 2007 |
| Fusion of recursive programs with computational effects A Pardo Theoretical Computer Science 260 (1-2), 165-207, 2001 | 34 | 2001 |
| Towards merging recursion and comonads A Pardo Proceedings of the 2nd Workshop on Generic Programming, WGP’00, 50-68, 2000 | 24 | 2000 |
| Monadic corecursion—definition, fusion laws, and applications— A Pardo Electronic Notes in Theoretical Computer Science 11, 105-139, 1998 | 23 | 1998 |
| Combining datatypes and effects A Pardo Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005 | 19 | 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 | 18 | 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 | 16 | 2011 |
| A calculational approach to recursive programs with effects A Pardo | 16 | 2001 |
| 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 | 15 | 2009 |
| Shortcut Fusion of Monadic Programs. C Manzino, A Pardo J. Univers. Comput. Sci. 14 (21), 3431-3446, 2008 | 13 | 2008 |
| Program fusion with paramorphisms F Domínguez, A Pardo Workshop on Mathematically Structured Functional Programming (MSFP 2006), 2006 | 12 | 2006 |
| A multi-stage language with intensional analysis M Viera, A Pardo Proceedings of the 5th international conference on Generative programming …, 2006 | 9 | 2006 |
| A calculational approach to strong datatypes A Pardo Selected Papers from the 8th Nordic Workshop on Programming Theory. Research …, 1996 | 9 | 1996 |
| 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 | 8 | 2019 |
| 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 | 8 | 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 | 8 | 2018 |
| Multiple intermediate structure deforestation by shortcut fusion A Pardo, JP Fernandes, J Saraiva Science of Computer Programming 132, 77-95, 2016 | 8 | 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 | 7 | 2019 |
