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

Generic accumulations A Pardo Generic Programming, 49-78, 2003 | 42 | 2003 |

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

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 | 20 | 1998 |

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

Combining datatypes and effects A Pardo Advanced functional programming, 171-209, 2005 | 16 | 2005 |

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), 1-16, 2006 | 10 | 2006 |

A calculational approach to strong datatypes A Pardo Selected Papers from the 8th Nordic Workshop on Programming Theory. Research …, 1996 | 9 | 1996 |

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 |

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

Applicative shortcut fusion GA Delbianco, M Jaskelioff, A Pardo International Symposium on Trends in Functional Programming, 179-194, 2011 | 6 | 2011 |

A security types preserving compiler in Haskell C Manzino, A Pardo Brazilian Symposium on Programming Languages, 16-30, 2014 | 5 | 2014 |

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

A shortcut fusion approach to accumulations M Martínez, A Pardo Science of Computer Programming 78 (8), 1121-1136, 2013 | 4 | 2013 |