Generalized iteration and coiteration for higherorder nested datatypes (2003)

by A Abel, R Matthes, T Uustalu
Venue:In Foundations of Software Science and Computation Structures