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