Topic
potentially infinite analog of a list, in type theory and functional programming
Free account · your comment posts right after signup
Top videos
Not who you're looking for? Others named Stream: natural body of water with current within bed and stream ban · sequence of data elements made available over time · Fischer-Z album · surface slope along a stream
In type theory and functional programming, a stream is a potentially infinite analog of a list, given by the coinductive definition:
Read the full article →