stream

Last updated Feb 3, 2024

• coinductive streams
• machines and streams
• monoidal stream

References

• A Coinductive Calculus of Streams (Rutten, 2005)
• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)