Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory… Expand
Is this relevant?
1995
1995
Extra variables in a clause are variables which occur in the body but not in the head. It has been argued that extra variables… Expand
Is this relevant?