TY  - RPRT
TI  - Enhancing expressivity of checked corecursive streams (extended version)
AU  - Davide Ancona
AU  - Pietro Barbieri
AU  - Elena Zucca
PY  - 2022
UR  - https://arxiv.org/abs/2202.06868
ID  - 2202.06868
ER  -