Iteration and coiteration schemes for higher-order and nested datatypes
author
statement of authorship
Andreas Abel, Ralph Matthes, and Tarmo Uustalu
source
journal volume number month
333
year of publication
pages
1/2, p. 3-66
subject term
notes
Bibliogr.: 53 ref
language
inglise
Abel, A., Matthes, R., Uustalu, T. Iteration and coiteration schemes for higher-order and nested datatypes // Theoretical computer science (2005) 333, 1/2, p. 3-66. https://www.sciencedirect.com/science/article/pii/S0304397504007078