Generalized Iteration and Coiteration for Higher-Order Nested Datatypes (2003)

by Andreas Abel, Ralph Matthes, Tarmo Uustalu
Venue:PROC. OF FOSSACS 2003