{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:03Z","timestamp":1725562563743},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_1","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T15:50:55Z","timestamp":1281282655000},"page":"1-15","source":"Crossref","is-referenced-by-count":10,"title":["An Algebraic Theory of Polymorphic Temporal Media"],"prefix":"10.1007","author":[{"given":"Paul","family":"Hudak","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"International MIDI Association. Midi 1.0 detailed specification: Document version 4.1.1 (February 1990)"},{"key":"1_CR2","volume-title":"Introduction to Functional Programming using Haskell","author":"R.S. Bird","year":"1998","unstructured":"Bird, R.S.: Introduction to Functional Programming using Haskell, 2nd edn. Prentice Hall, London (1998)","edition":"2"},{"key":"1_CR3","unstructured":"Elliott, C.: Modeling interactive 3D and multimedia animation with an embedded language. In: Proceedings of the first conference on Domain-Specific Languages, pp. 285\u2013296. USENIX (October 1997)"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: International Conference on Functional Programming, pp. 263\u2013273 (June 1997)","DOI":"10.1145\/258948.258973"},{"key":"1_CR5","unstructured":"Huang, L., Hudak, P.: Dance: A language for humanoid robot motion. Technical Report YALEU\/DCS\/RR-1253, Yale University, Department of Computer Science (July 2003)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/3-540-61628-4_2","volume-title":"Advanced Functional Programming","author":"P. Hudak","year":"1996","unstructured":"Hudak, P.: Haskore music tutorial. In: Launchbury, J., Sheard, T., Meijer, E. (eds.) AFP 1996. LNCS, vol.\u00a01129, pp. 38\u201368. Springer, Heidelberg (1996)"},{"key":"1_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511818073","volume-title":"The Haskell School of Expression \u2013 Learning Functional Programming through Multimedia","author":"P. Hudak","year":"2000","unstructured":"Hudak, P.: The Haskell School of Expression \u2013 Learning Functional Programming through Multimedia. Cambridge University Press, New York (2000)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hudak, P.: Describing and Interpreting Music in Haskell, chapter 4. Palgrave, The Fun of Programming, edited by Jeremy Gibbons and Oege de Moor (2003)","DOI":"10.1007\/978-1-349-91518-7_4"},{"issue":"3","key":"1_CR9","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1017\/S0956796800001805","volume":"6","author":"P. Hudak","year":"1996","unstructured":"Hudak, P., Makucevich, T., Gadde, S., Whong, B.: Haskore music notation \u2013 an algebra of music. Journal of Functional Programming\u00a06(3), 465\u2013483 (1996)","journal-title":"Journal of Functional Programming"},{"key":"1_CR10","volume-title":"Labanotation","author":"A. Hutchinson","year":"1991","unstructured":"Hutchinson, A.: Labanotation. Routledge Theatre Arts Books, New York (1991)"},{"key":"1_CR11","volume-title":"International Conference on Functional Programming","author":"G. Hutton","year":"1998","unstructured":"Hutton, G.: Fold and unfold for program semantics. In: International Conference on Functional Programming, ACM Press, New York (1998)"},{"volume-title":"Haskell 98 Language and Libraries \u2013 The Revised Report","year":"2003","key":"1_CR12","unstructured":"Jones, S.P. (ed.): Haskell 98 Language and Libraries \u2013 The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"1_CR13","volume-title":"Discrete Mathematical Structures with Applications to Computer Science","author":"J.P. Tremblay","year":"1975","unstructured":"Tremblay, J.P., Manohar, R.: Discrete Mathematical Structures with Applications to Computer Science. McGraw-Hill, New York (1975)"},{"key":"1_CR14","unstructured":"Vercoe, B.: Csound: A manual for the audio processing system and supporting programs. Technical report, MIT Media Lab (1986)"},{"key":"1_CR15","unstructured":"World Wide Web Consortium (W3C). Synchronized Multimedia Integration Language, SMIL (2003), http:\/\/www.w3.org\/AudioVideo"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:40Z","timestamp":1605743800000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}