The recursion scheme from the cofree recursive comonad (2008)

by T Uustalu, V Vene
Venue:Electronic Notes in Theoretical Computer Science, 229 (5):135–157, 2011. ISSN 1571-0661. doi: 10.1016/j.entcs.2011.02. 020. Proceedings of the Second Workshop on Mathematically Structured Functional Programming (MSFP