{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:08:35Z","timestamp":1760044115572,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2023,8,30]],"date-time":"2023-08-30T00:00:00Z","timestamp":1693353600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100002241","name":"Japan Science and Technology Agency","doi-asserted-by":"publisher","award":["JPMJAX210C"],"award-info":[{"award-number":["JPMJAX210C"]}],"id":[{"id":"10.13039\/501100002241","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2023,8,30]]},"DOI":"10.1145\/3609023.3609804","type":"proceedings-article","created":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T19:53:30Z","timestamp":1693511610000},"page":"2-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Weighted Refinement Types for Counterpoint Composition"],"prefix":"10.1145","author":[{"given":"Youyou","family":"Cong","sequence":"first","affiliation":[{"name":"Tokyo Institute of Technology, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209189"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/127787.127835"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3527310"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"volume-title":"First-class phantom types","author":"Cheney James","key":"e_1_3_2_1_5_1","unstructured":"James Cheney and Ralf Hinze . 2003. First-class phantom types . Cornell University . James Cheney and Ralf Hinze. 2003. First-class phantom types. Cornell University."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3331543.3342578"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"volume-title":"The Study of Counterpoint","author":"Fux Johann Joseph","key":"e_1_3_2_1_8_1","unstructured":"Johann Joseph Fux . 1965. The Study of Counterpoint . W. W. Norton & Company . isbn:9780393002775 Johann Joseph Fux. 1965. The Study of Counterpoint. W. W. Norton & Company. isbn:9780393002775"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_10_1","volume-title":"Deep Reinforcement Learning Workshop, NIPS. https:\/\/storage.googleapis.com\/pub-tools-public-publication-data\/pdf\/45871","author":"Jaques Natasha","year":"2016","unstructured":"Natasha Jaques , Shixiang Gu , Richard E Turner , and Douglas Eck . 2016 . Generating Music by Fine-Tuning Recurrent Neural Networks with Reinforcement Learning . In Deep Reinforcement Learning Workshop, NIPS. https:\/\/storage.googleapis.com\/pub-tools-public-publication-data\/pdf\/45871 .pdf Natasha Jaques, Shixiang Gu, Richard E Turner, and Douglas Eck. 2016. Generating Music by Fine-Tuning Recurrent Neural Networks with Reinforcement Learning. In Deep Reinforcement Learning Workshop, NIPS. https:\/\/storage.googleapis.com\/pub-tools-public-publication-data\/pdf\/45871.pdf"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01762111"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1080\/17459737.2014.935816"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3591283"},{"key":"e_1_3_2_1_14_1","volume-title":"Demo: Counterpoint Analysis and Synthesis. Presentation at FARM \u201922. https:\/\/github.com\/halfaya\/MusicTools\/blob\/master\/doc\/farm22\/abstract.pdf","author":"Leo John","year":"2022","unstructured":"John Leo . 2022 . Demo: Counterpoint Analysis and Synthesis. Presentation at FARM \u201922. https:\/\/github.com\/halfaya\/MusicTools\/blob\/master\/doc\/farm22\/abstract.pdf John Leo. 2022. Demo: Counterpoint Analysis and Synthesis. Presentation at FARM \u201922. https:\/\/github.com\/halfaya\/MusicTools\/blob\/master\/doc\/farm22\/abstract.pdf"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034797"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908093"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2998392.2998398"},{"key":"e_1_3_2_1_18_1","volume-title":"d.]. First-Species Counterpoint - Open Music Theory. https:\/\/viva.pressbooks.pub\/openmusictheory\/chapter\/first-species-counterpoint\/ Accessed on","author":"Shaffer Kris","year":"2023","unstructured":"Kris Shaffer and Mark Gotham . [n. d.]. First-Species Counterpoint - Open Music Theory. https:\/\/viva.pressbooks.pub\/openmusictheory\/chapter\/first-species-counterpoint\/ Accessed on May 27, 2023 Kris Shaffer and Mark Gotham. [n. d.]. First-Species Counterpoint - Open Music Theory. https:\/\/viva.pressbooks.pub\/openmusictheory\/chapter\/first-species-counterpoint\/ Accessed on May 27, 2023"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Wendy Suiter. 2010. The promise of fuzzy logic in generalised music composition. In Cultural Computing Ryohei Nakatsu Naoko Tosa Fazel Naghdy Kok Wai Wong and Philippe Codognet (Eds.). Springer Berlin Heidelberg 118\u2013127. \t\t\t\t  Wendy Suiter. 2010. The promise of fuzzy logic in generalised music composition. In Cultural Computing Ryohei Nakatsu Naoko Tosa Fazel Naghdy Kok Wai Wong and Philippe Codognet (Eds.). Springer Berlin Heidelberg 118\u2013127.","DOI":"10.1007\/978-3-642-15214-6_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122964"},{"key":"e_1_3_2_1_21_1","volume-title":"Programming Languages and Systems: 22nd European Symposium on Programming (ESOP \u201913)","author":"Vazou Niki","year":"2013","unstructured":"Niki Vazou , Patrick M Rondon , and Ranjit Jhala . 2013 . Abstract refinement types . In Programming Languages and Systems: 22nd European Symposium on Programming (ESOP \u201913) . 209\u2013228. Niki Vazou, Patrick M Rondon, and Ranjit Jhala. 2013. Abstract refinement types. In Programming Languages and Systems: 22nd European Symposium on Programming (ESOP \u201913). 209\u2013228."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628161"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006216"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"}],"event":{"name":"FARM '23: 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Seattle WA USA","acronym":"FARM '23"},"container-title":["Proceedings of the 11th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609023.3609804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3609023.3609804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T17:48:57Z","timestamp":1750182537000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3609023.3609804"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8,30]]},"references-count":24,"alternative-id":["10.1145\/3609023.3609804","10.1145\/3609023"],"URL":"https:\/\/doi.org\/10.1145\/3609023.3609804","relation":{},"subject":[],"published":{"date-parts":[[2023,8,30]]},"assertion":[{"value":"2023-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}