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

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

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

Towards merging recursion and comonads A Pardo Proceedings of the 2nd Workshop on Generic Programming, WGP’00, 50-68, 2000 | 23 | 2000 |

Monadic corecursion—definition, fusion laws, and applications— A Pardo Electronic Notes in Theoretical Computer Science 11 (1), 105-139, 1998 | 20 | 1998 |

Combining datatypes and effects A Pardo International School on Advanced Functional Programming, 171-209, 2004 | 16 | 2004 |

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 | 15 | 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 Verlag nicht ermittelbar, 2001 | 14 | 2001 |

Shortcut Fusion of Monadic Programs. C Manzino, A Pardo J. UCS 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 |

Multiple intermediate structure deforestation by shortcut fusion A Pardo, JP Fernandes, J Saraiva Science of Computer Programming 132, 77-95, 2016 | 7 | 2016 |

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

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

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 security types preserving compiler in Haskell C Manzino, A Pardo Brazilian Symposium on Programming Languages, 16-30, 2014 | 4 | 2014 |

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

Formal semantics and expressiveness of a web service composition language MG Hahn, R Motz, A Pardo, MA Musicante Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1667-1673, 2013 | 4 | 2013 |