Coinductive streams

Last updated Oct 4, 2022

Tags: Stream, Coalgebra References:

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