Recursion Schemes from Comonads, Nordic (2001)

by V Vene T Uustalu, A Pardo
Venue:Journal of Computing