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)

Related topics

Related topics

7 relations
Algebraic data typeCoinductionCorecursionLazy evaluation

Broader (2)

Functional programmingType theory

Search for papers about Stream (computer science)

Search papers
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)