Iteration and coiteration schemes for higher-order and nested datatypes (2005)

by A Abel, R Matthes, T Uustalu
Venue:Theor. Comput. Sci