We present a simple tool in Haskell, QStream, implementing the technique of coinductive counting by making use of Haskell's built-in coinduction capabilities. We furthermore provide a number of useful tools for stream exploration, including a number of pretty print functions and integration with the Online Encyclopedia of Integer Sequences.
Additional Metadata
Keywords coalgebra, streams, Haskell, OEIS
THEME Software (theme 1)
Publisher Springer
Editor R. Heckel , S. Milius
Persistent URL dx.doi.org/10.1007/978-3-642-40206-7-30
Project Coinductive Calculi of Regular Expression
Conference International Conference on Algebra and Coalgebra in Computer Science
Citation
Winter, J. (2013). QStream: A Suite of Streams. In R Heckel & S Milius (Eds.), Algebra and Coalgebra in Computer Science - 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings (pp. 353–358). Springer. doi:10.1007/978-3-642-40206-7-30