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.
, , ,
R. Heckel , S. Milius
Coinductive Calculi of Regular Expression
International Conference on Algebra and Coalgebra in Computer Science
Computer Security

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