Iteration and coiteration schemes for higher-order and nested datatypes
autor
vastutusandmed
Andreas Abel, Ralph Matthes, and Tarmo Uustalu
allikas
ajakirja aastakäik number kuu
333
ilmumisaasta
leheküljed
1/2, p. 3-66
märkused
Bibliogr.: 53 ref
keel
inglise
märksõna
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.