Stream Types

Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh +4

We propose a rich foundational theory of typed data streams and stream transformers, motivated by two high-level goals: (1) The type of a stream should be able to express complex s…