Recursion schemes from comonads (2001)

by T Uustalu, V Vene, A Pardo
Venue:Nordic J. Comput