{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:07:32Z","timestamp":1750306052007,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,8,31]],"date-time":"2016-08-31T00:00:00Z","timestamp":1472601600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR-13-BS02-0008-02"],"award-info":[{"award-number":["ANR-13-BS02-0008-02"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,8,31]]},"DOI":"10.1145\/3064899.3064902","type":"proceedings-article","created":{"date-parts":[[2017,4,24]],"date-time":"2017-04-24T12:26:08Z","timestamp":1493036768000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Signal Rate Inference for Multidimensional Faust"],"prefix":"10.1145","author":[{"given":"Yann","family":"Orlarey","sequence":"first","affiliation":[{"name":"Grame, France"}]},{"given":"Pierre","family":"Jouvelot","sequence":"additional","affiliation":[{"name":"MINES ParisTech, PSL Research University, France"}]}],"member":"320","published-online":{"date-parts":[[2016,8,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543581.2543591"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2714064.2660225"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2013.6658581"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(91)90001-E"},{"key":"e_1_3_2_1_5_1","volume-title":"Sound Design, Signal Processing, and Programming","author":"Boulanger R.C.","year":"2000","unstructured":"R.C. Boulanger . The Csound Book: Perspectives in Software Synthesis , Sound Design, Signal Processing, and Programming . MIT Press , 2000 . R.C. Boulanger. The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming. MIT Press, 2000."},{"key":"e_1_3_2_1_6_1","volume-title":"Lavoisier","author":"Caspi P.","year":"2007","unstructured":"P. Caspi , Gr. Hamon , and M. Pouzet . Lucid synchrone: un langage pour la programmation des syst\u00e8mes r\u00e9actifs. In Syst\u00e9mes temps re\u00e9l . Lavoisier , 2007 . P. Caspi, Gr. Hamon, and M. Pouzet. Lucid synchrone: un langage pour la programmation des syst\u00e8mes r\u00e9actifs. In Syst\u00e9mes temps re\u00e9l. Lavoisier, 2007."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_8_1","first-page":"407","volume-title":"Hans Bugge Grathwohl, and Lars Birkedal. Programming and Reasoning with Guarded Recursion for Coinductive Types","author":"Clouston Ranald","year":"2015","unstructured":"Ranald Clouston , Ale\u0161 Bizjak , Hans Bugge Grathwohl, and Lars Birkedal. Programming and Reasoning with Guarded Recursion for Coinductive Types , pages 407 -- 421 . Springer Berlin Heidelberg , Berlin, Heidelberg , 2015 . Ranald Clouston, Ale\u0161 Bizjak, Hans Bugge Grathwohl, and Lars Birkedal. Programming and Reasoning with Guarded Recursion for Coinductive Types, pages 407--421. Springer Berlin Heidelberg, Berlin, Heidelberg, 2015."},{"key":"e_1_3_2_1_9_1","volume-title":"Embedded Software: Third International Conference, EMSOFT2003","author":"Cola\u00e7o J.-L.","year":"2003","unstructured":"J.-L. Cola\u00e7o and M. Pouzet . Embedded Software: Third International Conference, EMSOFT2003 , Philadelphia, PA, USA , October 13-15, 2003 . Proceedings, chapter Clocks as First Class Abstract Types, pages 134--155. Springer Berlin, 2003. J.-L. Cola\u00e7o and M. Pouzet. Embedded Software: Third International Conference, EMSOFT2003, Philadelphia, PA, USA, October 13-15, 2003. Proceedings, chapter Clocks as First Class Abstract Types, pages 134--155. Springer Berlin, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-013-0166-2"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2011.03.001"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01565439"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/PROC.1987.13876"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234745"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1162\/COMJ_a_00330"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-004-0388-1"},{"key":"e_1_3_2_1_19_1","volume-title":"Introduction to Digital Filters: With Audio Applications. Music signal proc. series. W3K","author":"Smith J.O.","year":"2008","unstructured":"J.O. Smith . Introduction to Digital Filters: With Audio Applications. Music signal proc. series. W3K , 2008 . J.O. Smith. Introduction to Digital Filters: With Audio Applications. Music signal proc. series. W3K, 2008."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2005.1568815"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807426.2807430"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s40751-015-0001-5"}],"event":{"name":"IFL 2016: Symposium on Implementation and Application of Functional Languages","sponsor":["K.U. Leuven K.U. Leuven"],"location":"Leuven Belgium","acronym":"IFL 2016"},"container-title":["Proceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064902","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3064899.3064902","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:03:28Z","timestamp":1750215808000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3064899.3064902"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,8,31]]},"references-count":21,"alternative-id":["10.1145\/3064899.3064902","10.1145\/3064899"],"URL":"https:\/\/doi.org\/10.1145\/3064899.3064902","relation":{},"subject":[],"published":{"date-parts":[[2016,8,31]]},"assertion":[{"value":"2016-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}