Enhancing expressivity of checked corecursive streams (extended version)

Davide Ancona, Pietro Barbieri, Elena Zucca

We propose a novel approach to stream definition and manipulation. Our solution is based on two key ideas. Regular corecursion, which avoids non termination by detecting cyclic cal…