{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:23:18Z","timestamp":1770290598821,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,9]],"date-time":"2017-10-09T00:00:00Z","timestamp":1507507200000},"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":[[2017,10,9]]},"DOI":"10.1145\/3131851.3131865","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T12:51:09Z","timestamp":1507812669000},"page":"139-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Machine fusion"],"prefix":"10.1145","author":[{"given":"Amos","family":"Robinson","sequence":"first","affiliation":[{"name":"Ambiata and UNSW (Australia)"}]},{"given":"Ben","family":"Lippmeier","sequence":"additional","affiliation":[{"name":"Digital Asset and UNSW (Australia)"}]}],"member":"320","published-online":{"date-parts":[[2017,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503789"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"key":"e_1_3_2_1_3_1","unstructured":"Jean-Philippe Bernardy and Josef Svenningsson. 2015. On the Duality of Streams How Can Linear Types Help to Solve the Lazy IO Problem?. In IFL. Jean-Philippe Bernardy and Josef Svenningsson. 2015. On the Duality of Streams How Can Linear Types Help to Solve the Lazy IO Problem?. In IFL."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"crossref","unstructured":"Adnan Bouakaz. 2013. Real-time scheduling of dataflow graphs. Ph.D. Dissertation. Universit\u00e9 Rennes 1. Adnan Bouakaz. 2013. Real-time scheduling of dataflow graphs. Ph.D. Dissertation. Universit\u00e9 Rennes 1.","DOI":"10.1109\/SiPS.2014.6986102"},{"key":"e_1_3_2_1_5_1","unstructured":"Joseph T Buck. 1994. Static scheduling and code generation from dynamic dataflow graphs with integer-valued control streams. In ACSSC. Joseph T Buck. 1994. Static scheduling and code generation from dynamic dataflow graphs with integer-valued control streams. In ACSSC ."},{"key":"e_1_3_2_1_6_1","unstructured":"Joseph Tobin Buck and Edward A Lee. 1993. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In ICASSP. Joseph Tobin Buck and Edward A Lee. 1993. Scheduling dynamic dataflow graphs with bounded memory using the token flow model. In ICASSP ."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103736.2103740"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291220.1291199"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_11_1","unstructured":"Gabriel Gonzalez. 2012. http:\/\/hackage.haskell.org\/package\/pipes. (2012). Gabriel Gonzalez. 2012. http:\/\/hackage.haskell.org\/package\/pipes. (2012)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Nicholas Halbwachs Paul Caspi Pascal Raymond and Daniel Pilaud. 1991. The synchronous data flow programming language LUSTRE. IEEE (1991). Nicholas Halbwachs Paul Caspi Pascal Raymond and Daniel Pilaud. 1991. The synchronous data flow programming language LUSTRE. IEEE (1991).","DOI":"10.1109\/5.97300"},{"key":"e_1_3_2_1_13_1","unstructured":"Gilles Kahn David MacQueen and others. 1976. Coroutines and networks of parallel processes. (1976). Gilles Kahn David MacQueen and others. 1976. Coroutines and networks of parallel processes. (1976)."},{"key":"e_1_3_2_1_14_1","unstructured":"Michael Kay. 2009. You pull I'll push: on the polarity of pipelines. In Balisage. Michael Kay. 2009. You pull I'll push: on the polarity of pipelines. In Balisage."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29822-6_15"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009880"},{"key":"e_1_3_2_1_17_1","unstructured":"Edward Kmett R\u00fanar Bjarnason and Josh Cough. 2012. http:\/\/hackage.haskell.org\/package\/machines. (2012). Edward Kmett R\u00fanar Bjarnason and Josh Cough. 2012. http:\/\/hackage.haskell.org\/package\/machines. (2012)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Paul Le Guernic Jean-Pierre Talpin and Jean-Christophe Le Lann. 2003. Poly-chrony for system design. Journal of Circuits Systems and Computers (2003). Paul Le Guernic Jean-Pierre Talpin and Jean-Christophe Le Lann. 2003. Poly-chrony for system design. Journal of Circuits Systems and Computers (2003).","DOI":"10.1142\/S0218126603000763"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503782"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364511"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2975991.2975999"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Louis Mandel Florence Plateau and Marc Pouzet. 2010. Lucy-n: a n-synchronous extension of Lustre. In MPC. Louis Mandel Florence Plateau and Marc Pouzet. 2010. Lucy-n: a n-synchronous extension of Lustre. In MPC .","DOI":"10.1007\/978-3-642-13321-3_17"},{"key":"e_1_3_2_1_23_1","unstructured":"John Millikin and Mikhail Vorozhtsov. 2011. http:\/\/hackage.haskell.org\/package\/enumerator. (2011). John Millikin and Mikhail Vorozhtsov. 2011. http:\/\/hackage.haskell.org\/package\/enumerator. (2011)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237760"},{"key":"e_1_3_2_1_25_1","unstructured":"Michael Snoyman. 2011. http:\/\/hackage.haskell.org\/package\/conduit. (2011). Michael Snoyman. 2011. http:\/\/hackage.haskell.org\/package\/conduit. (2011)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2488222.2488255"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581491"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"crossref","unstructured":"Bo Joel Svensson and Josef Svenningsson. 2014. Defunctionalizing push arrays. In FHPC. Bo Joel Svensson and Josef Svenningsson. 2014. Defunctionalizing push arrays. In FHPC .","DOI":"10.1145\/2636228.2636231"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"William Thies Michal Karczmarek and Saman Amarasinghe. 2002. StreamIt: A language for streaming applications. In Compiler Construction. William Thies Michal Karczmarek and Saman Amarasinghe. 2002. StreamIt: A language for streaming applications. In Compiler Construction .","DOI":"10.1007\/3-540-45937-5_14"}],"event":{"name":"PPDP'17: 19th International Symposium on Principles and Practice of Declarative Programming","location":"Namur Belgium","acronym":"PPDP'17"},"container-title":["Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131865","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3131851.3131865","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T11:18:49Z","timestamp":1750936729000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3131851.3131865"}},"subtitle":["merging merges, more or less"],"short-title":[],"issued":{"date-parts":[[2017,10,9]]},"references-count":29,"alternative-id":["10.1145\/3131851.3131865","10.1145\/3131851"],"URL":"https:\/\/doi.org\/10.1145\/3131851.3131865","relation":{},"subject":[],"published":{"date-parts":[[2017,10,9]]},"assertion":[{"value":"2017-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}