@Article{Leak07,
  author    = "Paul Liu and Paul Hudak",
  title     = "Plugging a Space Leak With an Arrow",
  journal   = "Electronic Notes in Theoretical Computer Science",
  publisher = "Elsevier",
  volume    = "193",
  pages     = "29--45",
  month     = nov,
  year      = "2007"
}

@InProceedings{Paterson2001,
  author =       "Ross Paterson",
  title =        "A New Notation for Arrows",
  booktitle =    "{ICFP'01}: International Conference on Functional
                  Programming",
  pages =        "229--240",
  year =         2001,
  address =      "Firenze, Italy"
}

@Article{Hughes2000,
  author =       "John Hughes",
  title =        "Generalising Monads to Arrows",
  journal =      "Science of Computer Programming",
  year =         2000,
  volume =       37,
  pages =        "67--111",
  month =        may
}

@techreport{csound
    ,author={Vercoe, B.}
    ,title={Csound: A Manual for the Audio Processing System
            and Supporting Programs}
    ,institution={MIT Media Lab}
    ,year=1986
    }
 
@article{backus:fortran78
    ,author={Backus, J.}
    ,title={The history of {FORTRAN} {I}, {II}, and {III}}
    ,journal={ACM Sigplan Notices}
    ,volume=13
    ,number=8
    ,year=1978
    ,month=Aug
    ,pages={165-180}
    }

@article{mccarthy78
    ,author={McCarthy, J.}
    ,title={History of {L}isp}
    ,journal={ACM Sigplan Notices}
    ,volume=13
    ,number=8
    ,year=1978
    ,month=Aug
    ,pages={217-223}
    }

@article{algol
    ,author={de Morgan, R.M. and Hill, I.D. and Wichmann, B.A.}
    ,title={Modified Report on the Algorithmic Language {ALGOL} 60}
    ,journal={Computer Journal}
    ,volume=19
    ,number=4
    ,year=1976
    ,pages={364-379}
    }

@article{haskell-tutorial
    ,author={Hudak, P. and Fasel, J.}
    ,title={A Gentle Introduction to {H}askell}
    ,journal={ACM SIGPLAN Notices}
    ,volume=27
    ,number=5
    ,month=May
    ,year=1992
    }

@techreport{turn76
    ,key={turner}
    ,author={Turner, D.A.}
    ,title={{SASL} language manual}
    ,institution={University of St. Andrews}
    ,year=1976
    }

@InProceedings{turn85
    ,key={turner}
    ,author={Turner, D.A.}
    ,title={Miranda: a non-strict functional language with polymorphic types}
    ,booktitle={Functional Programming Languages and Computer Architecture}
    ,month=Sep
    ,year=1985
    ,publisher={Springer-Verlag LNCS 201}
    ,pages={1-16}
    }

@book{K&R
    ,author = "Brian W. Kernighan and Dennis M. Ritchie"
    ,title = "The C Programming Language"
    ,publisher = {Prentice-Hall}
    ,year = 1978
    }

@misc{cobol
    ,key={Cobol}
    ,title={{A}merican {N}ational {S}tandard {COBOL} ({ANS} {X}3.23-1968)}
    ,organization={American National Standards Institue, New York}
    ,year=1968
    }

@misc{ada
    ,key={Ada}
    ,title={Rationale for the Design of the {A}da Programming Language}
    ,organization={United States Department of Defense}
    ,journal={ACM Sigplan Notices}
    ,volume=14
    ,number=6
    ,year=1979
    ,month=Jun
    }

@Article{r3rs
    ,author =      "Rees, J. and Clinger, W."
    ,title =       "Revised$^3$ Report on the Algorithmic Language {S}cheme"
    ,journal =     "SIGPLAN Notices"
    ,year =        "1986"
    ,volume =      "21"
    ,number =      "12"
    ,pages =       "37-79"
}

@book{ML-definition
    ,author={Milner, R. and Tofte, M. and Harper, R.}
    ,title={The Definition of Standard ML}
    ,publisher={The MIT Press}
    ,address={Cambridge, MA}
    ,year=1990
    }
 
@article{hindley69
    ,key={hindley}
    ,author={Hindley, R.}
    ,title={The Principal Type Scheme of an Object in Combinatory Logic}
    ,journal={Transactions of the American Mathematical Society}
    ,volume=146
    ,year=1969
    ,month=Dec
    ,pages={29-60}
    }
 
 @article{milner78
    ,key={milner}
    ,author={Milner, R.A.}
    ,title={A Theory of Type Polymorphism in Programming}
    ,journal={Journal of Computer and System Sciences}
    ,volume=17
    ,number=3
    ,year=1978
    ,month=Dec
    ,pages={348-375}
    }
 
@article{huda89a
    ,author={Hudak, P.}
    ,title={Conception, Evolution, and Application of Functional
            Programming Languages}
    ,journal={ACM Computing Surveys}
    ,volume=21
    ,number=3
    ,year=1989
    ,pages={359-411}
    }
 
@book{Hofstadter
    ,author={Hofstadter, D.R.}
    ,title={G\"{o}del, Escher, Bach: an Eternal Golden Braid}
    ,publisher={Vintage}
    ,address={New York}
    ,year=1979
    }

@book{Quine
    ,author={Quine, W.V.O.}
    ,title={The Ways of Paradox, and Other Essays}
    ,publisher={Random House}
    ,address={New York}
    ,year=1966
    }

@book{graphics-bible
    ,author={Foley, J.D. and van Dam, A. and Feiner, S.K. and Hughes, J.F.}
    ,title={Computer Graphics -- Principles and Practice, 2nd Edition}
    ,publisher={Addison-Wesley}
    ,address={Reading, MA}
    ,year=1996
    }

@book{papp80
    ,key={Pappert}
    ,author={Pappert, S.}
    ,title={Mindstorms: Children, Computers and Powerful Ideas}
    ,publisher={Basic Books}
    ,place={New York}
    ,year=1980
    }

@book{karel
    ,author={Pattis, R.E.}
    ,title={Karel the Robot 
            -- A Gentle Intoduction to the Art of Programming with Pascal}
    ,publisher={John Wiley}
    ,address={New York}
    ,year=1981
    }

@book{Wiitala
    ,author={Wiitala, S.A.}
    ,title={Discrete Mathematics -- A Unified Approach}
    ,publisher={McGraw-Hill}
    ,address={New York}
    ,year=1987
    }

@inproceedings{wadler-popl92
    ,author={Wadler, P.}
    ,title={The Essence of Functional Programming}
    ,booktitle={Proceedings 19th Symposium on Principles of Programming
           Languages}
    ,organization={ACM}
    ,month=Jan
    ,year=1992
    ,pages={1-14}
    }

@inproceedings{moggi89
    ,author={Moggi, E.}
    ,title={Computational Lambda-Calculus and Monads}
    ,booktitle={Proceedings of Symposium on Logic in Computer Science}
    ,organization={IEEE}
    ,year=1989
    ,month=Jun
    ,pages={14--23}
    }

@inproceedings{peytonjoneswadler-popl93
    ,author={Peyton Jones, S. and Wadler, P.}
    ,title={Imperative Functional Programming}
    ,booktitle={Proceedings 20th Symposium on Principles of Programming
           Languages}
    ,organization={ACM}
    ,month=Jan
    ,year=1993
    ,note={71--84}
    }

@book{pierce-ct
    ,author={Pierce, B.}
    ,title={Basic Category Theory for Computer Scientists}
    ,publisher={MIT Press}
    ,address={Cambridge, MA}
    ,year=1991
    }

@book{birdwadler88
    ,author={Bird, R. and Wadler, P.}
    ,title={Introduction to Functional Programming}
    ,publisher={Prentice Hall}
    ,address={New York}
    ,year=1988
    }
 
@book{bird98
    ,author={Bird, R.}
    ,title={Introduction to Functional Programming using Haskell 
            (second edition)}
    ,publisher={Prentice Hall}
    ,address={London}
    ,year=1998
    }
 
@inproceedings{Fran
    ,author={Elliott, C. and Hudak, P.}
    ,title={Functional Reactive Animation}
    ,booktitle={International Conference on Functional Programming}
    ,month=Jun
    ,year=1997
    ,pages={163--173}
    }

@inproceedings{fran-dsl
    ,author={Elliott, C.}
    ,title={Modeling Interactive {3D} and Multimedia Animation 
            with an Embedded Language}
    ,booktitle={Proceedings of the first conference on 
                Domain-Specific Languages}
    ,organization={USENIX}
    ,year=1997
    ,month=Oct
    ,pages={285-296}
    }

@inproceedings{icra99
    ,author={Peterson, J. and Hager, G. and Hudak, P.}
    ,title={A Language for Declarative Robotic Programming}
    ,booktitle={International Conference on Robotics and Automation}
    ,year=1999
    ,pages={}
    }
 
@InProceedings{padl99
    ,author = "Peterson, J. and Hudak, P. and Elliott, C."
    ,title = "Lambda in Motion: Controlling Robots With Haskell"
    ,booktitle = "First International Workshop on
                     Practical Aspects of Declarative Languages"
    ,organization = "SIGPLAN"
    ,month = Jan
    ,year = "1999" 
}

@article{Arya86
    ,author={Arya, K.}
    ,title={A Functional Approach To Animation}
    ,journal={Computer Graphics Forum}
    ,volume=5
    ,number=4
    ,month=Dec
    ,year=1986
    ,pages={297--311}
    }

@inproceedings{arya89
    ,author={Arya, K.}
    ,title={Processes in a Functional Animation System}
    ,booktitle={Proceedings of the Conference on Functional Programming
                Languages and Computer Architecture}
    ,organization={ACM/IFIP}
    ,year=1989
    ,pages={382-395}
    }

@inproceedings{Escher88
    ,author={Zilles, S.N. and Lucas, P. and Linden, T.M. and Lotspiech, J.B.
             and Harbury, A.R.}
    ,title={The {E}scher Document Imaging Model}
    ,booktitle={Proceedings of the ACM Conference on 
                Document Processing Systems}
    ,month=Dec
    ,year=1988
    ,pages={159-168}
    }
 
@inproceedings{HaggisGraphics95
    ,author={Finne, S. and Peyton Jones, S.}
    ,title={Pictures: A Simple Structured Graphics Model}
    ,booktitle={Proceedings of Glasgow Functional Programming Workshop}
    ,month=Jul
    ,year=1995
    ,pages={}
    }
 
@techreport{LucasZilles87
    ,author={Lucas, P. and Zilles, S.N.}
    ,title={Graphics in an Applicative Context}
    ,institution={IBM Almaden Research Center}
    ,type={Technical Report}
    ,number={}
    ,month=Jul
    ,year=1987
    }

@inproceedings{Schecht94
    ,author={Schechter, G. and Elliott, C. and Yeung, R. and Abi-Ezzi, S.}
    ,title={Functional 3{D} Graphics in {C}++ -- 
            With an Object-Oriented, Multiple Dispatching Implementation}
    ,booktitle={Proceedings of the 1994 Eurographics Object-Oriented 
                Graphics Workshop}
    ,organization={Eurographics, Springer Verlag}
    ,year=1994
    ,pages={}
    }

@inproceedings{henderson82
    ,author={Henderson, P.}
    ,title={Functional Geometry}
    ,booktitle={Proceedings of the 1982 ACM Symposium on Lisp and 
                Functional Programmming}
    ,organization={ACM}
    ,year=1982
    ,pages={179--187}
    }

@inproceedings{haskore-tutorial
    ,author={Paul Hudak}
    ,title={Haskore Music Tutorial}
    ,booktitle={Second International School on Advanced Functional Programming}
    ,publisher={Springer Verlag, LNCS 1129}
    ,year=1996
    ,month=Aug
    ,pages={38-68}
    }
 
@article{haskore
    ,author={Paul Hudak and Tom Makucevich and 
             Syam Gadde and Bo Whong}
    ,title={Haskore Music Notation -- An Algebra of Music}
    ,month=May
    ,year=1996
    ,volume=6
    ,number=3
    ,pages={465--483}
    ,journal={Journal of Functional Programming}
    }
 
@inproceedings{grame94
    ,author={Orlarey, O. and Fober, D. and Letz, S. and Bilton, M.}
    ,title={Lambda Calculus and Music Calculi}
    ,booktitle={Proceedings of International Computer Music Conference}
    ,organization={Int'l Computer Music Association}
    ,year=1994
    }
 
@incollection{fugue
    ,author={Dannenberg, R.B. and Fraley, C.L. and Velikonja, P.}
    ,title={A Functional Language for Sound Synthesis with
            Behavioral Abstraction and Lazy Evaluation}
    ,booktitle={Computer Generated Music}
    ,publisher={IEEE Computer Society Press}
    ,year=1992
    ,editor={Denis Baggi}
    }

@book{dijkstra
    ,author = "Dijkstra, E.W."
    ,title = "A Discipline of Programming"
    ,publisher = {Prentice-Hall}
    ,year = 1976
}

@book{java
    ,author={Gosling, J. and Joy, B. and Steele, G.}
    ,title={The Java Language Specification}
    ,publisher={Addison-Wesley}
    ,address={Reading, MA}
    ,year=1996
    }

@article{scho24
    ,key={schonfinkel}
    ,author={Sch\"{o}nfinkel, M.}
    ,title={Uber die bausteine der mathematischen logik}
    ,journal={Mathematische Annalen}
    ,volume=92
    ,year=1924
    ,pages={305}
    }

@book{church41
    ,key={church}
    ,author={Church, A.}
    ,title={The Calculi of Lambda Conversion}
    ,publisher={Princeton University Press}
    ,address={Princeton, NJ}
    ,year=1941
    }

@book{Barnsley
    ,author={Barnsley, M.}
    ,title={Fractals Everywhere}
    ,publisher={Academic Press}
    ,address={New York}
    ,year=1993
    }

@incollection{haskore-fop
    ,author={Paul Hudak}
    ,title={Describing and Interpreting Music in {H}askell}
    ,booktitle={The Fun of Programming}
    ,chapter=4
    ,editors={Jeremy Gibbons and Oege de Moor}
    ,year=2003
    ,publisher={Palgrave}
    }

@book{soe
    ,author={Paul Hudak}
    ,title={The Haskell School of Expression -- 
            Learning Functional Programming through Multimedia}
    ,isbn={0521644089}
    ,publisher={Cambridge University Press}
    ,address={New York}
    ,year=2000
    }

@article{haskell98,
  author = {Simon {Peyton Jones} and others},
  title = {The {Haskell} 98 Language and Libraries: The Revised Report},
  journal = {Journal of Functional Programming},
  volume = 13,
  number = 1,
  pages = {0--255},
  month = {Jan},
  year = 2003,
  url = {www.haskell.org/definition},
}

@book{Corea94,
  author = {Chick Corea},
  title = {Children's Songs -- 20 Pieces for Keyboard (ED 7254)},
  year = {1994},
  publisher = {Schott},
  ISBN = {978-3-7957-9588-7},
  address = {Mainz}
}

@book{Cage433
  ,author={Cage, John}
  ,title={Silence: Lectures and Writings}
  ,year={1961,1986}
  ,publisher={Wesleyan University Press}
  ,address={Middletown, CT}
  ,ISBN={0-8195-6028-6}
}

@book{Moore90
  ,author={Moore, F. Richard}
  ,title={Elements of Computer Music}
  ,year={1990}
  ,publisher={Prentice-Hall}
  ,address={Englewood Cliffs, NJ}
}

@inproceedings{AFP2002
  ,author={Paul Hudak and Antony Courtney and Henrik Nilsson and
           John Peterson}
  ,title={Arrows, Robots, and Functional Reactive Programming}
  ,booktitle={Summer School on Advanced Functional Programming, 
              Oxford University}
  ,publisher={Springer Verlag, LNCS 2638}
  ,year=2003}

@InProceedings{fruit,
   author = "Antony Courtney and Conal Elliott",
   title = "Genuinely Functional User Interfaces",
   booktitle = "Proc. of the 2001 Haskell Workshop",
   year = 2001,
   month = "September",
}

@misc{MIDI
    ,author={MIDI Manufacturers Association}
    ,title={Complete MIDI 1.0 Detailed Specification}
    ,published={MIDI Manufacturers Association}
    ,ISBN={0-9728831-0-X}
    ,address={La Habre, CA}
    ,year={1995-2013}
    ,url={http://www.midi.org/techspecs/}
}

@misc{General-MIDI
    ,author={MIDI Manufacturers Association}
    ,title={General MIDI 1, 2 and Lite Specifications}
    ,published={MIDI Manufacturers Association}
    ,address={La Habre, CA}
    ,year={1995-2013}
    ,url={http://www.midi.org/techspecs/}
}

@InProceedings{PTM-PADL,
    author =       "Paul Hudak",
    title =        "An Algebraic Theory of Polymorphic Temporal Media",
    booktitle =    "Proceedings of {PADL'04}: 6th International Workshop on
                    Practical Aspects of Declarative Languages",
    publisher =    "Springer Verlag LNCS 3057",
    pages =        "1-15",
    month =        jun,
    year =         2004
  }

@phdthesis{courtney-phd
    ,author={Antony Courtney}
    ,title={Modelling User Interfaces in a Functional Language}
    ,school={Department of Computer Science, Yale University}
    ,month=May
    ,year=2004
    }

@misc{nelson-bifurcate
  ,author={Gary Lee Nelson}
  ,title={Bifurcate me, baby!}
  ,year={1995}
  ,school={Oberline College}
}

@article{shepard
  ,author={Roger N. Shepard}
  ,month={December}
  ,year=1964
  ,title={Circularity in Judgements of Relative Pitch}
  ,journal={Journal of the Acoustical Society of America}
  ,volume=36
  ,number=12
  ,pages={2346-2353}
}

@article{Chowning73
  ,author={John M. Chowning}
  ,title={The Synthesis of Complex Audio Spectra 
          by Means of Frequency Modulation}
  ,year=1973
  ,journal={Journal of Audio Engineering Society}
  ,volume=21
  ,number=7
  ,pages={526-534}
}

@article{Karplus-Strong83
  ,author={Kevin Karplus and Alex Strong}
  ,title={Digital Synthesis of Plucked String and Drum Timbres}
  ,journal={Computer Music Journal}
  ,publisher={MIT Press}
  ,volume=7
  ,number=2
  ,year=1983
  ,pages={43-55}
}

@book{Cook2002
  ,author={Perry Cook}
  ,title={Real Sound Synthesis for Interactive Applications}
  ,year={2002}
  ,publisher={A.K. Peters Press}
  ,address={Natick MA, USA}
}