{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:14Z","timestamp":1750220834860,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T00:00:00Z","timestamp":1566518400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,8,23]]},"DOI":"10.1145\/3331543.3342585","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"71-82","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Screaming in the IO monad: a realtime audio processing and control experiment in Haskell"],"prefix":"10.1145","author":[{"given":"David","family":"Janin","sequence":"first","affiliation":[{"name":"LaBRI, France \/ University of Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"The Synchronous Languages Twelve Years Later. Proc","author":"Benveniste A.","year":"2002","unstructured":"A. Benveniste , P. Caspi , S. A. Edwards , P. Le Guernic N. Halbwachs , and R. de Simone . 2002. The Synchronous Languages Twelve Years Later. Proc . IEEE ( 2002 ). A. Benveniste, P. Caspi, S. A. Edwards, P. Le Guernic N. Halbwachs, and R. de Simone. 2002. The Synchronous Languages Twelve Years Later. Proc. IEEE (2002)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"volume-title":"Automata, Languages and Machines","author":"Eilenberg S.","key":"e_1_3_2_1_4_1","unstructured":"S. Eilenberg . 1973. Automata, Languages and Machines , Volume 1 . Academic Press . S. Eilenberg. 1973. Automata, Languages and Machines, Volume 1. Academic Press."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596643"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_2"},{"volume-title":"Int. Col. on Theor. Aspects of Comp. (ICTAC) (LNCS)","author":"Janin D.","key":"e_1_3_2_1_9_1","unstructured":"D. Janin . 2018. Spatio-temporal domains: an overview . In Int. Col. on Theor. Aspects of Comp. (ICTAC) (LNCS) , Vol. 11187 . Springer-Verlag , 231\u2013251. D. Janin. 2018. Spatio-temporal domains: an overview. In Int. Col. on Theor. Aspects of Comp. (ICTAC) (LNCS) , Vol. 11187. Springer-Verlag, 231\u2013251."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103776.2103783"},{"key":"e_1_3_2_1_12_1","first-page":"127","article-title":"Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion","volume":"153","author":"Jeltsch W.","year":"2014","unstructured":"W. Jeltsch . 2014 . Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion . In Mathematically Structured Functional Programming (MSFP) (EPTCS) , Vol. 153. 127 \u2013 142 . W. Jeltsch. 2014. Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion. In Mathematically Structured Functional Programming (MSFP) (EPTCS) , Vol. 153. 127\u2013142.","journal-title":"Mathematically Structured Functional Programming (MSFP) (EPTCS)"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500588"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32096-5_7"},{"key":"e_1_3_2_1_15_1","volume-title":"A Method for Synthesizing Sequential Circuits. Bell System Technical Journal","author":"Mealy G. H.","year":"1955","unstructured":"G. H. Mealy . 1955. A Method for Synthesizing Sequential Circuits. Bell System Technical Journal ( 1955 ), 1045 \u20131079. G. H. Mealy. 1955. A Method for Synthesizing Sequential Circuits. Bell System Technical Journal (1955), 1045 \u20131079."},{"key":"e_1_3_2_1_16_1","unstructured":"Y. Orlarey D. Fober and S. Letz. 2009. Faust: an Efficient Functional Approach to DSP Programming. In New Computationals Paradigms for Computer Music . Editions Delatour France.  Y. Orlarey D. Fober and S. Letz. 2009. Faust: an Efficient Functional Approach to DSP Programming. In New Computationals Paradigms for Computer Music . Editions Delatour France."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122965"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976010"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2784731.2784752"},{"volume-title":"Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa","author":"R\u00e9my D.","key":"e_1_3_2_1_20_1","unstructured":"D. R\u00e9my . 2002. Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa . In Applied Semantics, G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva (Eds.). LNCS, Vol . 2395. Springer , 413\u2013536. D. R\u00e9my. 2002. Using, Understanding, and Unraveling the OCaml Language From Practice to Theory and Vice Versa. In Applied Semantics, G. Barthe, P. Dybjer, L. Pinto, and J. Saraiva (Eds.). LNCS, Vol. 2395. Springer, 413\u2013536."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"R. de Simone J.-P. Talpin and D. Potop-Butucaru. 2005. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook. CRC Press.  R. de Simone J.-P. Talpin and D. Potop-Butucaru. 2005. The Synchronous Hypothesis and Synchronous Languages. In Embedded Systems Handbook. CRC Press.","DOI":"10.1201\/9781420038163.ch8"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.151"},{"key":"e_1_3_2_1_23_1","unstructured":"D. Winograd-Cort. 2015. Effects Asynchrony and Choice in Arrowized Functional Reactive Programming . Ph.D. Dissertation. Yale University.  D. Winograd-Cort. 2015. Effects Asynchrony and Choice in Arrowized Functional Reactive Programming . Ph.D. Dissertation. Yale University."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628140"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331543.3342585","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331543.3342585","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:38Z","timestamp":1750202018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331543.3342585"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,23]]},"references-count":23,"alternative-id":["10.1145\/3331543.3342585","10.1145\/3331543"],"URL":"https:\/\/doi.org\/10.1145\/3331543.3342585","relation":{},"subject":[],"published":{"date-parts":[[2019,8,23]]},"assertion":[{"value":"2019-08-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}