{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:46:14Z","timestamp":1755999974655,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,8,9]],"date-time":"2020-08-09T00:00:00Z","timestamp":1596931200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1704041"],"award-info":[{"award-number":["1704041"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,8,27]]},"DOI":"10.1145\/3406088.3409023","type":"proceedings-article","created":{"date-parts":[[2020,7,31]],"date-time":"2020-07-31T04:08:01Z","timestamp":1596168481000},"page":"80-94","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Composing effects into tasks and workflows"],"prefix":"10.1145","author":[{"given":"Yves","family":"Par\u00e8s","sequence":"first","affiliation":[{"name":"Tweag I\/O, France"}]},{"given":"Jean-Philippe","family":"Bernardy","sequence":"additional","affiliation":[{"name":"University of Gothenburg, Sweden"}]},{"given":"Richard A.","family":"Eisenberg","sequence":"additional","affiliation":[{"name":"Bryn Mawr College, USA \/ Tweag I\/O, France"}]}],"member":"320","published-online":{"date-parts":[[2020,8,9]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"265","volume-title":"OSDI","volume":"16","author":"Abadi Martin","year":"2016","unstructured":"Martin Abadi, Paul Barham, Jianmin Chen, Zhifeng Chen, Andy Davis, Jeffrey Dean, Matthieu Devin, Sanjay Ghemawat, Geofrey Irving, Michael Isard, Manjunath Kudlur, Josh Levenberg, Rajat Monga, Sherry Moore, Derek G. Murray, Benoit Steiner, Paul Tucker, Vijay Vasudevan, Pete Warden, Martin Wicke, Yuan Yu, and Xiaoqiang Zheng. 2016. TensorFlow: A System for Large-Scale Machine Learning.. In OSDI, Vol. 16. 265-283."},{"key":"e_1_3_2_2_3_1","volume-title":"Visible Type Application. In European Symposium on Programming (ESOP) (LNCS). Springer-Verlag.","author":"Eisenberg Richard A.","year":"2016","unstructured":"Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan Ahmed. 2016. Visible Type Application. In European Symposium on Programming (ESOP) (LNCS). Springer-Verlag."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034690"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1088\/1742-6596\/898\/7\/072047"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"crossref","unstructured":"Chris Heunen and Bart Jacobs. 2006. Arrows like monads are monoids. Electronic Notes in Theoretical Computer Science 158 ( 2006 ) 219-236.","DOI":"10.1016\/j.entcs.2006.04.012"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_6"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796809007308"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804319"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_2_12_1","unstructured":"Michael Kotliar Andrey V. Kartashov and Artem Barski. 2019. CWLAirflow: a lightweight pipeline manager supporting Common Worklfow Language. GigaScience 8 7 ( 07 2019 ). htps:\/\/doi.org\/10.1093\/ gigascience\/giz084 arXiv:https:\/\/academic.oup.com\/gigascience\/articlepdf\/8\/7\/giz084\/28954484\/giz084.pdf giz084."},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633636"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"crossref","unstructured":"Eugenio Moggi. 1991. Notions of computation and monads. Information and computation 93 1 ( 1991 ) 55-92.","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341694"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3236774"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"crossref","unstructured":"Ross Paterson. 2001. A new notation for arrows. ACM SIGPLAN Notices 36 10 ( 2001 ) 229-240.","DOI":"10.1145\/507669.507664"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205372"},{"key":"e_1_3_2_2_22_1","volume-title":"Plotkin and Matija Pretnar","author":"Gordon","year":"2013","unstructured":"Gordon D. Plotkin and Matija Pretnar. 2013. Handling Algebraic Efects. Logical Methods in Computer Science 9, 4 ( 2013 ). htps:\/\/doi.org\/10.2168\/ LMCS-9( 4 :23) 2013"},{"key":"e_1_3_2_2_23_1","unstructured":"Exequiel Rivas and Mauro Jaskeliof. 2014. Notions of Computation as Monoids. CoRR abs\/1406.4823 ( 2014 ). arXiv: 1406.4823 htp:\/\/arxiv.org\/ abs\/1406.4823"},{"key":"e_1_3_2_2_24_1","first-page":"10","article-title":"Spark: Cluster computing with working sets","volume":"10","author":"Zaharia Matei","year":"2010","unstructured":"Matei Zaharia, Mosharaf Chowdhury, Michael J Franklin, Scott Shenker, Ion Stoica, et al. 2010. Spark: Cluster computing with working sets. HotCloud 10, 10-10 ( 2010 ), 95.","journal-title":"HotCloud"}],"event":{"name":"ICFP '20: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Event USA","acronym":"ICFP '20"},"container-title":["Proceedings of the 13th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409023","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3406088.3409023","content-type":"text\/html","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3406088.3409023","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3406088.3409023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T21:31:52Z","timestamp":1750195912000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3406088.3409023"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,8,9]]},"references-count":23,"alternative-id":["10.1145\/3406088.3409023","10.1145\/3406088"],"URL":"https:\/\/doi.org\/10.1145\/3406088.3409023","relation":{},"subject":[],"published":{"date-parts":[[2020,8,9]]},"assertion":[{"value":"2020-08-09","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}