Ghani, Neil; Hancock, Peter; Pattinson, Dirk
In a previous paper we gave a representation of, and simultaneously a way of programming with, continuous functions on streams, whether discrete-valued functions, or functions between streams. We also defined a combinator on the representations of such continuous functions that reflects composition. Streams are one of the simplest examples of non-trivial final coalgebras. Here we extend our previous results to cover the case of final coalgebras for a broader class of functors than that giving...[Show more]
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.