Generalized iteration and coiteration for higher-order nested datatypes (2003)

by A Abel, R Matthes, T Uustalu
Venue:Proc. of 6th Int. Conf. on Foundations of Software Science and Computation Structures, FoSSaCS'03 (Warsaw, Apr. 2003), Lect. Notes in Comput. Sci. 2620