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…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

Coinductive data structures, such as streams or infinite trees, have many applications in functional programming and type theory…