(Co-)iteration for higher-order nested datatypes (2003)

by Andreas Abel, Ralph Matthes
Venue:POST-CONF. PROC. OF IST WG TYPES 2ND ANN. MEETING, TYPES'02, LECT. NOTES IN COMPUT. SCI