{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:28Z","timestamp":1772163928443,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,31]],"date-time":"2009-08-31T00:00:00Z","timestamp":1251676800000},"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":[[2009,8,31]]},"DOI":"10.1145\/1596550.1596559","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T13:53:09Z","timestamp":1251813189000},"page":"35-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":26,"title":["Causal commutative arrows and their optimization"],"prefix":"10.1145","author":[{"given":"Hai","family":"Liu","sequence":"first","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]},{"given":"Eric","family":"Cheng","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]},{"given":"Paul","family":"Hudak","sequence":"additional","affiliation":[{"name":"Yale University, New Haven, CT, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,8,31]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/207110.207134"},{"key":"e_1_3_2_2_2_1","volume-title":"Mathematically Structured Functional Programming","author":"Atkey Robert","year":"2008","unstructured":"Robert Atkey . What is a categorical model of arrows ? In Mathematically Structured Functional Programming , 2008 . Robert Atkey. What is a categorical model of arrows? In Mathematically Structured Functional Programming, 2008."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_2_5_1","volume-title":"Electronic Notes in Theoretical Computer Science","author":"Caspi Paul","year":"1998","unstructured":"Paul Caspi and Marc Pouzet . A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98) , Electronic Notes in Theoretical Computer Science , March 1998 . Extended version available as a VERIMAG tech. report no. 97--07 at www.lri.fr\/~pouzet. Paul Caspi and Marc Pouzet. A Co-iterative Characterization of Synchronous Stream Functions. In Coalgebraic Methods in Computer Science (CMCS'98), Electronic Notes in Theoretical Computer Science, March 1998. Extended version available as a VERIMAG tech. report no. 97--07 at www.lri.fr\/~pouzet."},{"key":"e_1_3_2_2_7_1","volume-title":"November","author":"Cheong Mun Hon","year":"2005","unstructured":"Mun Hon Cheong . Functional programming and 3d games , November 2005 . also see www.haskell.org\/haskellwiki\/Frag. Mun Hon Cheong. Functional programming and 3d games, November 2005. also see www.haskell.org\/haskellwiki\/Frag."},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017753.1017792"},{"key":"e_1_3_2_2_10_1","volume-title":"Proc. of the 2001 Haskell Workshop","author":"Courtney Antony","year":"2001","unstructured":"Antony Courtney and Conal Elliott . Genuinely functional user interfaces . In Proc. of the 2001 Haskell Workshop , September 2001 . Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proc. of the 2001 Haskell Workshop, September 2001."},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871897"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1955.tb03788.x"},{"key":"e_1_3_2_2_15_1","series-title":"Lecture Notes in Computer Science","first-page":"282","volume-title":"Practical Aspects of Declarative Languages, 10th International Symposium, PADL","author":"Giorgidze George","year":"2008","unstructured":"George Giorgidze and Henrik Nilsson . Switched-on yampa . In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008 , San Francisco, CA , USA, January 7-8, 2008, volume 4902 of Lecture Notes in Computer Science , pages 282 -- 298 . Springer , 2008. George Giorgidze and Henrik Nilsson. Switched-on yampa. In Paul Hudak and David Scott Warren, editors, Practical Aspects of Declarative Languages, 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, volume 4902 of Lecture Notes in Computer Science, pages 282--298. Springer, 2008."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_100"},{"key":"e_1_3_2_2_17_1","first-page":"196","volume-title":"Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi","author":"Hasegawa Masahito","year":"1997","unstructured":"Masahito Hasegawa . Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi . pages 196 -- 213 . Springer Verlag , 1997 . Masahito Hasegawa. Recursion from cyclic sharing: traced monoidal categories and models of cyclic lambda calculi. pages 196--213. Springer Verlag, 1997."},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69611-7_18"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/242224.242477"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/551789.853532"},{"key":"e_1_3_2_2_21_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-45631-7","volume-title":"Summer School on Advanced Functional Programming","author":"Hudak Paul","year":"2002","unstructured":"Paul Hudak , Antony Courtney , Henrik Nilsson , and John Peterson . Arrows , robots, and functional reactive programming . In Summer School on Advanced Functional Programming 2002 , Oxford University, volume 2638 of Lecture Notes in Computer Science , pages 159 -- 187 . Springer-Verlag , 2003. Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Summer School on Advanced Functional Programming 2002, Oxford University, volume 2638 of Lecture Notes in Computer Science, pages 159--187. Springer-Verlag, 2003."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_2"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651884"},{"key":"e_1_3_2_2_26_1","volume-title":"Draft","author":"Lindley Sam","year":"2008","unstructured":"Sam Lindley , Philip Wadler , and Jeremy Yallop . The arrow calculus (functional pearl) . Draft , 2008 . Sam Lindley, Philip Wadler, and Jeremy Yallop. The arrow calculus (functional pearl). Draft, 2008."},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.10.006"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086374"},{"key":"e_1_3_2_2_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_2_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1999.772516"},{"key":"e_1_3_2_2_34_1","volume-title":"First International Workshop on Practical Aspects of Declarative Languages. SIGPLAN","author":"Peterson John","year":"1999","unstructured":"John Peterson , Paul Hudak , and Conal Elliott . Lambda in motion: Controlling robots with Haskell . In First International Workshop on Practical Aspects of Declarative Languages. SIGPLAN , Jan 1999 . John Peterson, Paul Hudak, and Conal Elliott. Lambda in motion: Controlling robots with Haskell. In First International Workshop on Practical Aspects of Declarative Languages. SIGPLAN, Jan 1999."},{"key":"e_1_3_2_2_35_1","volume-title":"Yale FRP User's Manual. Department of Computer Science","author":"Peterson John","year":"2001","unstructured":"John Peterson , Zhanyong Wan , Paul Hudak , and Henrik Nilsson . Yale FRP User's Manual. Department of Computer Science , Yale University , January 2001 . Available at http:\/\/www.haskell.org\/frp\/manual.html. John Peterson, Zhanyong Wan, Paul Hudak, and Henrik Nilsson. Yale FRP User's Manual. Department of Computer Science, Yale University, January 2001. Available at http:\/\/www.haskell.org\/frp\/manual.html."},{"key":"e_1_3_2_2_36_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803003010"},{"key":"e_1_3_2_2_37_1","first-page":"625","volume-title":"ICALP","author":"Power John","year":"1999","unstructured":"John Power and Hayo Thielecke . Closed freyd- and kappa-categories . In ICALP , pages 625 -- 634 , 1999 . John Power and Hayo Thielecke. Closed freyd- and kappa-categories. In ICALP, pages 625--634, 1999."},{"key":"e_1_3_2_2_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2006.05.030"},{"key":"e_1_3_2_2_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050095"},{"issue":"3","key":"e_1_3_2_2_40_1","first-page":"425","article-title":"Traced monoidal categories","volume":"119","author":"Street Ross Howard","year":"1996","unstructured":"Ross Howard Street , A. Joyal , and D. Verity . Traced monoidal categories . Mathematical Proceedings of the Cambridge Philosophical Society , 119 ( 3 ): 425 -- 446 , 1996 . Ross Howard Street, A. Joyal, and D. Verity. Traced monoidal categories. Mathematical Proceedings of the Cambridge Philosophical Society, 119(3):425--446, 1996.","journal-title":"Mathematical Proceedings of the Cambridge Philosophical Society"},{"key":"e_1_3_2_2_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727935"},{"key":"e_1_3_2_2_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575467_2"},{"key":"e_1_3_2_2_43_1","volume-title":"LUCID, the dataflow programming language","author":"Wadge William W.","year":"1985","unstructured":"William W. Wadge and Edward A. Ashcroft . LUCID, the dataflow programming language . Academic Press Professional, Inc. , San Diego, CA, USA , 1985 . William W. Wadge and Edward A. Ashcroft. LUCID, the dataflow programming language. Academic Press Professional, Inc., San Diego, CA, USA, 1985."}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 14th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596559","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596550.1596559","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:23:28Z","timestamp":1750235008000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596550.1596559"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,31]]},"references-count":39,"alternative-id":["10.1145\/1596550.1596559","10.1145\/1596550"],"URL":"https:\/\/doi.org\/10.1145\/1596550.1596559","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1631687.1596559","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,8,31]]},"assertion":[{"value":"2009-08-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}