Algebraic Composition for Streaming Data Reduction: A Type-Safe Framework with Numerical Stability

Discussion