Iteration and coiteration schemes for higher-order and nested datatypes

autor
vastutusandmed
Andreas Abel, Ralph Matthes, and Tarmo Uustalu
ajakirja aastakäik number kuu
333
ilmumisaasta
leheküljed
1/2, p. 3-66
märkused
Bibliogr.: 53 ref
keel
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