article

Power series, power serious

Author:

M. Douglas McIlroyAuthors Info & Claims

Journal of Functional Programming, Volume 9, Issue 3

Pages 325 - 337

https://doi.org/10.1017/S0956796899003299

Published: 01 May 1999 Publication History

Abstract

Power series and stream processing were made for each other. Stream algorithms for power series are short, sweet, and compositional. Their neatness shines through in Haskell, thanks to pattern-matching, lazy lists, and operator overloading. In a short compass one can build working code from ground zero (scalar operations) up to exact calculation of generating functions and solutions of differential equations.

References

[1]

Abelson, H. and Sussman, G. J. (1976) The Structure and Interpretation of Computer Programs. MIT Press.

Crossref

Google Scholar

[2]

Burge, W. H. (1975) Recursive Programming Techniques. Addison-Wesley.

Google Scholar

[3]

Hehner, E. C. R. (1993) A Practical Theory of Programming. Springer-Verlag.

Crossref

Google Scholar

[4]

Kahn, G. and MacQueen, D. B. (1977) Coroutines and networks of parallel processes, in Gilchrist, B. (ed.), Information Processing 77, pp. 993-998. North Holland. Volume 1, 2.3.4.4. Addison-Wesley.

Google Scholar

[5]

Karczmarczuk, J. (1997) Generating power of lazy semantics. Theoretical Computer Science, 187, 203-219.

Digital Library

Google Scholar

[6]

Knuth, D. E. (1968) The Art of Computer Programming, Volume 1, 2.3.4.4. Addison-Wesley.

Google Scholar

[7]

Knuth, D. E. (1969) The Art of Computer Programming, Volume 2. Addison-Wesley.

Crossref

Google Scholar

[8]

Mcllroy, M. D. (1990) Squinting at power series. Software-Practice and Experience, 20, 661- 683.

Digital Library

Google Scholar

[9]

Pontryagin, L. S. (1962) Ordinary Differential equations. Addison-Wesley.

Google Scholar

Cited By

View all

Koparkar CSinghal VGupta ARainey MVollmer MPelenitsyn ATobin-Hochstadt SKulkarni MNewton RBond MLee JPayer H(2024)Garbage Collection for Mostly Serialized HeapsProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665512(1-14)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652024.3665512
van der Rest CSwierstra W(2022)A completely unique account of enumerationProceedings of the ACM on Programming Languages10.1145/35476366:ICFP(411-437)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3547636
Kidney DWu N(2021)Algebras for weighted searchProceedings of the ACM on Programming Languages10.1145/34735775:ICFP(1-30)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473577
Show More Cited By

Recommendations

Decoupling Capacitance Design Strategies for Power Delivery Networks with Power Gating

Power gating is a widely used leakage power saving strategy in modern chip designs. However, power gating introduces unique power integrity issues and trade-offs between switching and rush current (wake-up) supply noises. At the same time, the amount of ...
Power series of Beta operators

In this paper we investigate the power series of Beta operators. We first study the convergence of this series and describe the Voronovskaya operator A and the inverse Voronovskaya operator. Then, a quantitative convergence result for the inverse ...
Spectral parameter power series for perturbed Bessel equations

A spectral parameter power series (SPPS) representation for regular solutions of singular Bessel type Sturm-Liouville equations with complex coefficients is obtained as well as an SPPS representation for the (entire) characteristic function of the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Journal of Functional Programming

Journal of Functional Programming Volume 9, Issue 3

May 1999

112 pages

ISSN:0956-7968

Issue’s Table of Contents

Publisher

Cambridge University Press

United States

Publication History

Published: 01 May 1999

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

16
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 16 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Koparkar CSinghal VGupta ARainey MVollmer MPelenitsyn ATobin-Hochstadt SKulkarni MNewton RBond MLee JPayer H(2024)Garbage Collection for Mostly Serialized HeapsProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665512(1-14)Online publication date: 20-Jun-2024
https://dl.acm.org/doi/10.1145/3652024.3665512
van der Rest CSwierstra W(2022)A completely unique account of enumerationProceedings of the ACM on Programming Languages10.1145/35476366:ICFP(411-437)Online publication date: 31-Aug-2022
https://dl.acm.org/doi/10.1145/3547636
Kidney DWu N(2021)Algebras for weighted searchProceedings of the ACM on Programming Languages10.1145/34735775:ICFP(1-30)Online publication date: 19-Aug-2021
https://dl.acm.org/doi/10.1145/3473577
Elliott C(2017)Compiling to categoriesProceedings of the ACM on Programming Languages10.1145/31102711:ICFP(1-27)Online publication date: 29-Aug-2017
https://dl.acm.org/doi/10.1145/3110271
Dolan S(2013)Fun with semiringsACM SIGPLAN Notices10.1145/2544174.250061348:9(101-110)Online publication date: 25-Sep-2013
https://dl.acm.org/doi/10.1145/2544174.2500613
Dolan SMorrisett GUustalu T(2013)Fun with semiringsProceedings of the 18th ACM SIGPLAN international conference on Functional programming10.1145/2500365.2500613(101-110)Online publication date: 25-Sep-2013
https://dl.acm.org/doi/10.1145/2500365.2500613
McIlroy M(2011)Wallpaper mapsDependable and Historic Computing10.5555/2184121.2184151(358-375)Online publication date: 1-Jan-2011
https://dl.acm.org/doi/10.5555/2184121.2184151
Yorgey B(2010)Species and functors and types, oh my!ACM SIGPLAN Notices10.1145/2088456.186354245:11(147-158)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/2088456.1863542
Yorgey BGibbons J(2010)Species and functors and types, oh my!Proceedings of the third ACM Haskell symposium on Haskell10.1145/1863523.1863542(147-158)Online publication date: 30-Sep-2010
https://dl.acm.org/doi/10.1145/1863523.1863542
Hinze R(2010)Concrete stream calculusJournal of Functional Programming10.1017/S095679681000021320:5-6(463-535)Online publication date: 1-Nov-2010
https://dl.acm.org/doi/10.1017/S0956796810000213
Show More Cited By

View Options

View options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Decoupling Capacitance Design Strategies for Power Delivery Networks with Power Gating

Power series of Beta operators

Spectral parameter power series for perturbed Bessel equations

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations