Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Computer Music, Euterpea, and Haskell
- 2 Simple Music
- 3 Polymorphic and Higher-Order Functions
- 4 A Musical Interlude
- 5 Syntactic Magic
- 6 More Music
- 7 Qualified Types and Type Classes
- 8 From Music to MIDI
- 9 Interpretation and Performance
- 10 Self-Similar Music
- 11 Proof by Induction
- 12 An Algebra of Music
- 13 L-Systems and Generative Grammars
- 14 Random Numbers, Probability Distributions, and Markov Chains
- 15 Basic Input/Output
- 16 Higher-Order Types and Monads
- 17 Musical User Interfaces
- 18 Sound and Signals
- 19 Euterpea’s Signal Functions
- 20 Spectrum Analysis
- 21 Additive and Subtractive Synthesis
- 22 Amplitude and Frequency Modulation
- 23 Physical Modeling
- Appendix A The PreludeList Module
- Appendix B Haskell’s Standard Type Classes
- Appendix C Built-In Types Are Not Special
- Appendix D Pattern-Matching Details
- Appendix E Haskell Quick Reference
- Appendix F Euterpea Quick Reference
- Appendix G HSoM Quick Reference
- Bibliography
- Index
- References
Bibliography
Published online by Cambridge University Press: 21 September 2018
Book contents
- Frontmatter
- Contents
- Preface
- Acknowledgments
- 1 Computer Music, Euterpea, and Haskell
- 2 Simple Music
- 3 Polymorphic and Higher-Order Functions
- 4 A Musical Interlude
- 5 Syntactic Magic
- 6 More Music
- 7 Qualified Types and Type Classes
- 8 From Music to MIDI
- 9 Interpretation and Performance
- 10 Self-Similar Music
- 11 Proof by Induction
- 12 An Algebra of Music
- 13 L-Systems and Generative Grammars
- 14 Random Numbers, Probability Distributions, and Markov Chains
- 15 Basic Input/Output
- 16 Higher-Order Types and Monads
- 17 Musical User Interfaces
- 18 Sound and Signals
- 19 Euterpea’s Signal Functions
- 20 Spectrum Analysis
- 21 Additive and Subtractive Synthesis
- 22 Amplitude and Frequency Modulation
- 23 Physical Modeling
- Appendix A The PreludeList Module
- Appendix B Haskell’s Standard Type Classes
- Appendix C Built-In Types Are Not Special
- Appendix D Pattern-Matching Details
- Appendix E Haskell Quick Reference
- Appendix F Euterpea Quick Reference
- Appendix G HSoM Quick Reference
- Bibliography
- Index
- References
Summary
A summary is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content.
- Type
- Chapter
- Information
- The Haskell School of MusicFrom Signals to Symphonies, pp. 379 - 380Publisher: Cambridge University PressPrint publication year: 2018
References
MIDI Association, “Complete MIDI 1.0 detailed specification,” La Habre, CA, 1995–2013. [Online] . Available: www.midi.org/techspecs/Google Scholar
MIDI Association, “General MIDI 1, 2 and lite specifications,” La Habre, CA, 1995–2013. [Online] . Available: www.midi.org/techspecs/Google Scholar
Hindley, R., “The principal type scheme of an object in combinatory logic,” Transactions of the American Mathematical Society, vol. 146, pp. 29–60, 1969.Google Scholar
Milner, R., “A theory of type polymorphism in programming,” Journal of Computer and System Sciences, vol. 17, no. 3, pp. 348–375, 1978.Google Scholar
Milner, R., Tofte, M., and Harper, R., The Definition of Standard ML. Cambridge, MA: MIT Press, 1990.Google Scholar
Hudak, P., “Conception, evolution, and application of functional programming languages,” ACM Computing Surveys, vol. 21, no. 3, pp. 359–411, 1989.CrossRefGoogle Scholar
Schönfinkel, M., “Uber die bausteine der mathematischen logik,” Mathematische Annalen, vol. 92, p. 305, 1924.Google Scholar
Church, A., The Calculi of Lambda Conversion. Princeton, NJ: Princeton University Press, 1941.Google Scholar
Shepard, R. N., “Circularity in judgements of relative pitch,” Journal of the Acoustical Society of America, vol. 36, no. 12, pp. 2346–2353, 1964.Google Scholar
Hofstadter, D., Gödel, Escher, Bach: An Eternal Golden Braid. New York: Vintage, 1979.Google Scholar
Cage, J., Silence: Lectures and Writings. Middletown, CT: Wesleyan University Press, 1986.Google Scholar
Quick, D., “Kulitta: A framework for automated music composition,” Ph.D. dissertation, Yale University, 2014.Google Scholar
Bird, R. and Wadler, P., Introduction to Functional Programming. New York: Prentice Hall, 1988.Google Scholar
Bird, R., Introduction to Functional Programming Using Haskell (second edition). London: Prentice Hall, 1998.Google Scholar
Hudak, P., “An algebraic theory of polymorphic temporal media,” in Proceedings of PADL’04: 6th International Workshop on Practical Aspects of Declarative Languages. Springer Verlag LNCS 3057, June 2004, pp. 1–15.Google Scholar
Cope, D., “Computer modeling of musical intelligence in EMI,” Computer Music Journal, vol. 16, no. 2, pp. 69–83, 1992.Google Scholar
Pierce, B., Basic Category Theory for Computer Scientists. Cambridge, MA: MIT Press, 1991.Google Scholar
Moggi, E., “Computational lambda-calculus and monads,” in Proceedings of Symposium on Logic in Computer Science. IEEE, June 1989, pp. 14–23.Google Scholar
Wadler, P., “The essence of functional programming,” in Proceedings of the 19th Symposium on Principles of Programming Languages. ACM, January 1992, pp. 1–14.Google Scholar
Peyton Jones, S. and Wadler, P., “Imperative functional programming,” in Proceedings of the 20th Symposium on Principles of Programming Languages. ACM, January 1993, pp. 71–84.Google Scholar
Hudak, P., Courtney, A., Nilsson, H., and Peterson, J., “Arrows, robots, and functional reactive programming,” in Summer School on Advanced Functional Programming, Oxford University. Springer Verlag LNCS 2638, 2003, pp. 159–187.Google Scholar
Hughes, J., “Generalising monads to arrows,” Science of Computer Programming, vol. 37, pp. 67–111, 2000.CrossRefGoogle Scholar
Courtney, A. and Elliott, C., “Genuinely functional user interfaces,” in Proceedings of the 2001 Haskell Workshop, September 2001, pp. 41–69.Google Scholar
Courtney, A., “Modelling user interfaces in a functional language,” Ph.D. dissertation, Yale University, 2004.Google Scholar
Paterson, R., “A new notation for arrows,” in ICFP’01: International Conference on Functional Programming, Firenze, Italy, September 2001, pp. 229–240.Google Scholar
Elliott, C. and Hudak, P., “Functional reactive animation,” in International Conference on Functional Programming, Amsterdam, June 1997, pp. 163–173.Google Scholar
Liu, P. and Hudak, P., “Plugging a space leak with an arrow,” Electronic Notes in Theoretical Computer Science, vol. 193, pp. 29–45, 2007.Google Scholar
Winograd-Cort, D., Liu, H., and Hudak, P., “Virtualizing real-world objects in FRP,” Yale University, Technical Report YALEU/DCS/RR-1446, July 2011.Google Scholar
Winograd-Cort, D. and Hudak, P., “Wormholes: Introducing effects to FRP,” in Haskell Symposium. ACM, September 2012, pp. 91–103.CrossRefGoogle Scholar
Vercoe, B., “Csound: A manual for the audio processing system and supporting programs,” MIT Media Lab, Technical Report, 1986.Google Scholar
Karplus, K. and Strong, A., “Digital synthesis of plucked string and drum timbres,” Computer Music Journal, vol. 7, no. 2, pp. 43–55, 1983.Google Scholar
Cook, P., Real Sound Synthesis for Interactive Applications. Natick MA: A. K. Peters Press, 2002.Google Scholar