Coinductive streams

Last updated Sep 8, 2023

Tags: Stream, coalgebra References:

• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)