Recursion schemes from comonads T Uustalu, V Vene, A Pardo Nordic Journal of Computing 8 (3), 366-390, 2001 | 74 | 2001 |

Generic accumulations A Pardo Generic Programming: IFIP TC2/WG2. 1 Working Conference Programming July 11 …, 2003 | 44 | 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 | 34 | 2007 |

Fusion of recursive programs with computational effects A Pardo Theoretical Computer Science 260 (1-2), 165-207, 2001 | 33 | 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 | 22 | 1998 |

Combining datatypes and effects A Pardo Advanced Functional Programming: 5th International School, AFP 2004, Tartu …, 2005 | 18 | 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 | 16 | 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 |

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 | 14 | 2009 |

A calculational approach to recursive programs with effects A Pardo | 14 | 2001 |

Shortcut Fusion of Monadic Programs. C Manzino, A Pardo J. Univers. Comput. Sci. 14 (21), 3431-3446, 2008 | 12 | 2008 |

Program fusion with paramorphisms F Domínguez, A Pardo Workshop on Mathematically Structured Functional Programming (MSFP 2006), 2006 | 11 | 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 |

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 |

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 | 7 | 2011 |