2013
QStream: A Suite of Streams
Publication
Publication
Presented at the
International Conference on Algebra and Coalgebra in Computer Science
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 | |
|---|---|
| , , , | |
| Springer | |
| R. Heckel , S. Milius | |
| doi.org/10.1007/978-3-642-40206-7-30 | |
| Coinductive Calculi of Regular Expression | |
| International Conference on Algebra and Coalgebra in Computer Science | |
| Organisation | 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 |
|
