Coding Recursion á la Mendler (extended abstract (1999)

by T Uustalu, V Vene
Venue:In Nordic Journal of Computing 6(3