A Mechanized Semantics for Dataflow Circuits. - Tony Law; Delphine Demange; Sandrine Blazy (Proc. ACM Program. Lang., 2025)