9 citations · 9 across the 1 of their papers we have counts for
1 paper
Hans Zantema, Matthias Raffelsieper
Streams are infinite sequences over a given data type. A stream specification is a set of equations intended to define a stream. A core property is productivity: unfolding the equa…