effectful streamsLast updated Apr 23, 2024Tags: effectful trace equivalenceReferencesEffectful Traces via Effectful Streams (Bonchi, Di Lavore, Román, 2024)Monoidal Streams for Dataflow Programming (Di Lavore, de Felice, Roman, 2022)