English Stream (computer science) Cited by user Pricelessjosy on 29 Aug 2022 In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition:.