(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
Citations:8 - 5 self

Document Versions

(Co-)iteration for higher-order nested datatypes –Andreas Abel, Ralph Matthes — 2003 — POST-CONF. PROC. OF IST WG TYPES 2ND ANN. MEETING, TYPES'02, LECT. NOTES IN COMPUT. SCI
(Co-)Iteration for Higher-Order Nested Datatypes –Andreas Abel, Ralph Matthes — 2003 — POST-CONF. PROC. OF IST WG TYPES 2ND ANN. MEETING, TYPES'02, LECT. NOTES IN COMPUT. SCI