Journal article icon

Journal article

Functional pearl: Streams and unique fixed points

Abstract:

Streams, infinite sequences of elements, live in a coworld: they are given by a coinductive data type, operations on streams are implemented by corecursive programs, and proofs are conducted using coinduction. But there is more to it: suitably restricted, stream equations possess unique solutions, a fact that is not very widely appreciated. We show that this property gives rise to a simple and attractive proof technique essentially bringing equational reasoning to the coworld. In fact, we red...

Expand abstract

Actions


Authors


Journal:
ACM SIGPLAN Notices
Volume:
43
Issue:
9
Pages:
189-200
Publication date:
2008-09-05
ISSN:
1523-2867
URN:
uuid:5989fde2-afa7-422e-a961-f350c172f6eb
Source identifiers:
328660
Local pid:
pubs:328660

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP