{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:34:52Z","timestamp":1725874492870},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319516752"},{"type":"electronic","value":"9783319516769"}],"license":[{"start":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T00:00:00Z","timestamp":1481932800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-51676-9_11","type":"book-chapter","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T07:14:29Z","timestamp":1481958869000},"page":"163-172","source":"Crossref","is-referenced-by-count":1,"title":["Funky Grooves: Declarative Programming of Full-Fledged Musical Applications"],"prefix":"10.1007","author":[{"given":"Henrik","family":"Nilsson","sequence":"first","affiliation":[]},{"given":"Guerric","family":"Chupin","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,12,17]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Baudart, G., Mandel, L., Pouzet, M.: Programming mixed music in ReactiveML. In: 1st Workshop on Functional Art, Music, Modeling and Design (FARM), Boston, USA, pp. 11\u201322. ACM, September 2013","DOI":"10.1145\/2505341.2505344"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-319-47169-3_11","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"G Berry","year":"2016","unstructured":"Berry, G.: Formally unifying modeling and design for embedded systems - a personal view. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 134\u2013149. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-47169-3_11"},{"key":"11_CR3","unstructured":"Boulez, P.: Penser la musique aujourd\u2019hui. Gallimard, Paris (1964)"},{"key":"11_CR4","unstructured":"Burton, M.: The reacTogon: a chain reactive performance arpeggiator (2007). https:\/\/www.youtube.com\/watch?v=AklKy2NDpqs"},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Caspi, P., Pilaud, D., Halbwachs, N., Plaice, J.A.: LUSTRE: a declarative language for programming synchronous systems. In: 14th Symposium on Principles of Programming Languages (POPL). ACM, New York (1987)","DOI":"10.1145\/41625.41641"},{"key":"11_CR6","unstructured":"Cont, A.: Antescofo: anticipatory synchronization and control of interactive parameters in computer music. In: International Computer Music Conference (ICMC), Belfast, Ireland, pp. 33\u201340, August 2008"},{"key":"11_CR7","unstructured":"Cont, A., Anticipation, M.M.: From the time of music to music of time. Ph.D. thesis. University of California San Diego (UCSD) and University of Pierre et Marie Curie (Paris VI) (2008)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Elliott, C., Hudak, P.: Functional reactive animation. In: 2nd International Conference on Functional Programming (ICFP), pp. 163\u2013173, June 1997","DOI":"10.1145\/258948.258973"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-540-77442-6_19","volume-title":"Practical Aspects of Declarative Languages","author":"G Giorgidze","year":"2007","unstructured":"Giorgidze, G., Nilsson, H.: Switched-On Yampa. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol. 4902, pp. 282\u2013298. Springer, Heidelberg (2007). doi: 10.1007\/978-3-540-77442-6_19"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Hudak, P., Quick, D., Santolucito, M., Winograd-Cort, D.: Real-time interactive music in Haskell. In: 3rd International Workshop on Functional Art, Music, Modelling and Design (FARM), Vancouver, BC, Canada, pp. 15\u201316. ACM, September 2015","DOI":"10.1145\/2808083.2808087"},{"key":"11_CR11","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/S0167-6423(99)00023-4","volume":"37","author":"J Hughes","year":"2000","unstructured":"Hughes, J.: Generalising monads to arrows. Sci. Comput. Program. 37, 67\u2013111 (2000)","journal-title":"Sci. Comput. Program."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Nilsson, H., Chupin, G.: The Arpeggigon: Declarative programming of a full-fledged musical application. Technical report, November 2016. http:\/\/eprints.nottingham.ac.uk\/38657","DOI":"10.1007\/978-3-319-51676-9_11"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Nilsson, H., Courtney, A., Peterson, J.: Functional reactive programming, continued. In: Haskell Workshop, Pittsburgh, PA, USA, pp. 51\u201364. ACM, October 2002","DOI":"10.1145\/581690.581695"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Paterson, R.: A new notation for arrows. In: International Conference on Functional Programming (ICFP), Firenze, Italy, pp. 229\u2013240, September 2001","DOI":"10.1145\/507635.507664"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Perez, I., Nilsson, H.: Bridging the GUI gap with reactive values and relations. In: 8th ACM SIGPLAN Symposium on Haskell, Vancouver, Canada, pp. 47\u201358. ACM (2015)","DOI":"10.1145\/2804302.2804316"}],"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-319-51676-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T16:43:19Z","timestamp":1568652199000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-51676-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12,17]]},"ISBN":["9783319516752","9783319516769"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-51676-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016,12,17]]}}}