Music of streams

Information Processing Letters

Volumn 77, Issue 2-4, 2001, Pages 189-195

  McIlroy, M Douglas ^a  

^a DARTMOUTH COLLEGE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEMS PROGRAMMING; DATA STRUCTURES;

FUNCTIONAL PROGRAMMING; HORNER FORMS; MACLAURIN FORMS;

DATA PROCESSING;

EID: 0035247585     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0020-0190(00)00201-5     Document Type: Article

References (10)

1. Bell E.T. Exponential numbers. Amer. Math. Monthly. 41:1934;411-419.
2. Hehner E.C.R. A Practical Theory of Programming. 1993;Springer, Berlin. pp. 143-148.
3. Hoare C.A.R. Communicating Sequential Processes. 1985;Prentice-Hall, Englewood Cliffs, NJ.
4. Karczmarczuk J. Generating power of lazy semantics. Theoret. Comput. Sci. 187:1997;203-219.
5. Knuth D.E. Seminumerical Algorithms. The Art of Computer Programming. 2:1969;Addison-Wesley, Reading, MA. §4.7.
6. McIlroy M.D. Functional pearl: Power series, power serious. J. Functional Program. 9:1999;323-335. also at http://www.cs.dartmouth.edu/~doug/haskell/pearl.ps.gz.
7. Melzak Z.A. Bypasses: A Simple Approach to Complexity. 1993;John Wiley & Sons, New York.
8. Pavlović D., Escardó M.H. Calculus in coinductive form. Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science. 1998;408-417 IEEE Computer Science Society Press.
9. Peterson J., Hammond K. Report on the Programming Language Haskell. 1997;. available from http://www.haskell.org/.
10. Rutten J.J.M.M. Automata, power series, and coinduction: Taking input derivatives seriously. Wiedermann J., van Emde Boas P., Nelson M. Proceedings of ICALP'99. Lecture Notes in Comput. Sci. 1644:1999;645-654 Springer, Berlin.