effectful streams

Last updated Oct 7, 2024

• Monoidal streams

Tags: effectful trace equivalence

References

• Effectful Traces via Effectful Streams (Bonchi, Di Lavore, Román, 2024)
• Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)