research
∙
02/14/2022
Enhancing expressivity of checked corecursive streams (extended version)
We propose a novel approach to stream definition and manipulation. Our s...
share
research
∙
07/31/2021
Enhanced Regular Corecursion for Data Streams
We propose a simple calculus for processing data streams (infinite flows...
research
∙
05/28/2020
