Functional pearl: Streams and unique fixed points

ACM SIGPLAN Notices

Volumn 43, Issue 9, 2008, Pages 189-200

  Hinze, Ralf ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Coinduction; Finite calculus; Generating functions; Recurrences; Streams; Unique fixed points

Indexed keywords

COINDUCTION; FINITE CALCULUS; GENERATING FUNCTIONS; RECURRENCES; STREAMS; UNIQUE FIXED POINTS;

FUNCTION EVALUATION;

CALCULATIONS;

EID: 67650046133     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. P. Aczel and N. Mendler. A final coalgebra theorem. In D.H. Pitt, D.E. Rydeheard, P. Dybjer, and A. Poigné, editors, Category Theory and Computer Science (Manchester), LNCS 389, pages 357-365, 1989. Springer.
2. Thierry Coquand. Infinite objects in type theory. In H. Barendregt and T. Nipkow, editors, Types for Proofs and Programs, International Workshop TYPES'93, Nijmegen, The Netherlands, May 24-28, 1993, Selected Papers, LNCS 806, pages 62-78, 1994. Springer.
3. Jeremy Gibbons and Graham Hutton. Proof methods for corecursive programs. Fundamenta Informaticae, (XX):1-14, 2005.
4. Ronald L. Graham, Donald E. Knuth, and Oren Patashnik. Concrete mathematics. Addison-Wesley, 2nd edition, 1994.
5. Ralf Hinze. Fun with phantom types. In Jeremy Gibbons and Oege de Moor, editors, The Fun of Programming, pages 245-262. Palgrave Macmillan, 2003. ISBN 1-4039-0772-2 hardback, ISBN 0-333-99285-7 paperback.
6. Ralf Hinze and Andres Löh. Guide21hs2tex (for version 1.13), February 2008. http://people.cs.uu.nl/andres/lhs2tex/.
7. Jerzy Karczmarczuk. Generating power of lazy semantics. Theoretical Computer Science, (187):203-219, 1997.
8. M. Douglas McIlroy. The music of streams. Information Processing Letters, (77):189-195, 2001.
9. M. Douglas McIlroy. Power series, power serious. J. Functional Programming, 3(9):325-337, May 1999.
10. Simon Peyton Jones. Haskell 98 Language and Libraries. Cambridge University Press, 2003.
11. S. Peyton Jones, D. Vytiniotis, S. Weirich, and G. Washburn. Simple unification-based type inference for GADTs. In J. Lawall, editor, Proceedings of the 11th ACM SIGPLAN international conference on Functional programming, Portland, 2006, pages 50-61. ACM Press, 2006.
12. J.J.M.M. Rutten. Fundamental study - Behavioural differential equations: a coinductive calculus of streams, automata, and power series. Theoretical Computer Science, (308):1-53, 2003.
13. J.J.M.M. Rutten. A coinductive calculus of streams. Math. Struct. in Comp. Science, (15):93-147, 2005.
14. Neil J.A. Sloane. The on-line encyclopedia of integer sequences. http://www.research.att.com/~njas/sequences/.