myTestlll-1.0.0: HSoM/HSoM.bib
@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}
}