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
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.