Skip to search formSkip to main contentSkip to account menu

Stream (computer science)

Known as: Stream (type theory) 
In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition: data Stream… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory…