Generalized Iteration and Coiteration for Higher-Order Nested Datatypes.

Andreas Abel, Ralph Matthes, Tarmo Uustalu

Browse the full FOSSACS paper archive.