{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:15Z","timestamp":1750220835411,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"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,8]]},"DOI":"10.1145\/3331545.3342600","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"146-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["STCLang: state thread composition as a foundation for monadic dataflow parallelism"],"prefix":"10.1145","author":[{"given":"Sebastian","family":"Ertel","sequence":"first","affiliation":[{"name":"Huawei Technologies, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Justus","family":"Adam","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norman A.","family":"Rink","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9s","family":"Goens","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeronimo","family":"Castrillon","sequence":"additional","affiliation":[{"name":"TU Dresden, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"volume-title":"Implicit Parallel Programming in pH","key":"e_1_3_2_1_1_1","unstructured":"2001. Implicit Parallel Programming in pH . Morgan Kaufmann Publishers Inc ., San Francisco, CA, USA. 2001. Implicit Parallel Programming in pH. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/33.5.460"},{"key":"e_1_3_2_1_3_1","volume-title":"Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter.","author":"Bainomugisha Engineer","year":"2013","unstructured":"Engineer Bainomugisha , Andoni Lombide Carreton , Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter. 2013 . A Survey on Reactive Programming. ACM Comput. Surv. 45, 4, Article 52 (Aug. 2013), 34 pages. Engineer Bainomugisha, Andoni Lombide Carreton, Tom van Cutsem, Stijn Mostinckx, and Wolfgang de Meuter. 2013. A Survey on Reactive Programming. ACM Comput. Surv. 45, 4, Article 52 (Aug. 2013), 34 pages."},{"key":"e_1_3_2_1_4_1","first-page":"30","volume-title":"Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC","author":"Adam","year":"2017","unstructured":"Adam D. Barwell and Kevin Hammond. 2017. In Search of a Map: Using Program Slicing to Discover Potential Parallelism in Recursive Functions . In Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017 ). ACM, New York, NY, USA , 30 - 41 . Adam D. Barwell and Kevin Hammond. 2017. In Search of a Map: Using Program Slicing to Discover Potential Parallelism in Recursive Functions. In Proceedings of the 6th ACM SIGPLAN International Workshop on Functional High-Performance Computing (FHPC 2017). ACM, New York, NY, USA, 30-41."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158093"},{"key":"e_1_3_2_1_6_1","first-page":"28","article-title":"Apache Flink?: Stream and Batch Processing in a Single Engine","volume":"38","author":"Carbone Paris","year":"2015","unstructured":"Paris Carbone , Asterios Katsifodimos , Stephan Ewen , Volker Markl , Seif Haridi , and Kostas Tzoumas . 2015 . Apache Flink?: Stream and Batch Processing in a Single Engine . IEEE Data Eng. Bull. 38 (2015), 28 - 38 . Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. 2015. Apache Flink?: Stream and Batch Processing in a Single Engine. IEEE Data Eng. Bull. 38 (2015), 28-38.","journal-title":"IEEE Data Eng. Bull."},{"key":"e_1_3_2_1_7_1","first-page":"1789","article-title":"Benchmarking streaming computation engines: Storm, flink and spark streaming. In 2016 IEEE international parallel and distributed processing symposium workshops (IPDPSW)","author":"Chintapalli Sanket","year":"2016","unstructured":"Sanket Chintapalli , Derek Dagit , Bobby Evans , Reza Farivar , Thomas Graves , Mark Holderbaugh , Zhuo Liu , Kyle Nusbaum , Kishorkumar Patil , Boyang Jerry Peng , and others. 2016 . Benchmarking streaming computation engines: Storm, flink and spark streaming. In 2016 IEEE international parallel and distributed processing symposium workshops (IPDPSW) . IEEE , 1789 - 1792 . Sanket Chintapalli, Derek Dagit, Bobby Evans, Reza Farivar, Thomas Graves, Mark Holderbaugh, Zhuo Liu, Kyle Nusbaum, Kishorkumar Patil, Boyang Jerry Peng, and others. 2016. Benchmarking streaming computation engines: Storm, flink and spark streaming. In 2016 IEEE international parallel and distributed processing symposium workshops (IPDPSW). IEEE, 1789-1792.","journal-title":"IEEE"},{"key":"e_1_3_2_1_8_1","volume-title":"Haskell workshop. 41-69","author":"Courtney Antony","year":"2001","unstructured":"Antony Courtney and Conal Elliott . 2001 . Genuinely functional user interfaces . In Haskell workshop. 41-69 . Antony Courtney and Conal Elliott. 2001. Genuinely functional user interfaces. In Haskell workshop. 41-69."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462161"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516360.1516362"},{"key":"e_1_3_2_1_11_1","first-page":"10","volume-title":"Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation -","volume":"6","author":"Dean Jeffrey","year":"2004","unstructured":"Jeffrey Dean and Sanjay Ghemawat . 2004 . MapReduce: Simplified Data Processing on Large Clusters . In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI'04). USENIX Association, Berkeley, CA, USA , 10 - 10 . http:\/\/dl.acm.org\/citation.cfm?id=1251254.1251264 Jeffrey Dean and Sanjay Ghemawat. 2004. MapReduce: Simplified Data Processing on Large Clusters. In Proceedings of the 6th Conference on Symposium on Opearting Systems Design & Implementation - Volume 6 (OSDI'04). USENIX Association, Berkeley, CA, USA, 10-10. http:\/\/dl.acm.org\/citation.cfm?id=1251254.1251264"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1980.1653418"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178442.3178447"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"Sebastian Ertel Justus Adam Norman A. Rink Andr\u00e9s Goens and Jeronimo Castrillon. 2019. Category-Theoretic Foundations of \"STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism\". (2019). arXiv:arXiv:1906.12098   Sebastian Ertel Justus Adam Norman A. Rink Andr\u00e9s Goens and Jeronimo Castrillon. 2019. Category-Theoretic Foundations of \"STCLang: State Thread Composition as a Foundation for Monadic Dataflow Parallelism\". (2019). arXiv:arXiv:1906.12098","DOI":"10.1145\/3331545.3342600"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2807426.2807431"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178372.3179505"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/93597.98720"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291192"},{"key":"e_1_3_2_1_20_1","volume-title":"Article 46 (March","author":"Hirzel Martin","year":"2014","unstructured":"Martin Hirzel , Robert Soul\u00e9 , Scott Schneider , Bu?ra Gedik, and Robert Grimm . 2014. A Catalog of Stream Processing Optimizations. ACM Comput. Surv. 46, 4 , Article 46 (March 2014 ), 34 pages. Martin Hirzel, Robert Soul\u00e9, Scott Schneider, Bu?ra Gedik, and Robert Grimm. 2014. A Catalog of Stream Processing Optimizations. ACM Comput. Surv. 46, 4, Article 46 (March 2014), 34 pages."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_22_1","volume-title":"Advances in dataflow programming languages. ACM computing surveys (CSUR) 36, 1","author":"Johnston Wesley M","year":"2004","unstructured":"Wesley M Johnston , JR Hanna , and Richard J Millar . 2004. Advances in dataflow programming languages. ACM computing surveys (CSUR) 36, 1 ( 2004 ), 1-34. Wesley M Johnston, JR Hanna, and Richard J Millar. 2004. Advances in dataflow programming languages. ACM computing surveys (CSUR) 36, 1 (2004), 1-34."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009877"},{"key":"e_1_3_2_1_24_1","first-page":"71","volume-title":"Proceedings of the 2Nd ACM SIGPLAN Workshop on Functional High-performance Computing (FHPC '13)","author":"Kuper Lindsey","unstructured":"Lindsey Kuper and Ryan R. Newton . 2013. LVars: Lattice-based Data Structures for Deterministic Parallelism . In Proceedings of the 2Nd ACM SIGPLAN Workshop on Functional High-performance Computing (FHPC '13) . ACM, New York, NY, USA , 71 - 84 . Lindsey Kuper and Ryan R. Newton. 2013. LVars: Lattice-based Data Structures for Deterministic Parallelism. In Proceedings of the 2Nd ACM SIGPLAN Workshop on Functional High-performance Computing (FHPC '13). ACM, New York, NY, USA, 71-84."},{"key":"e_1_3_2_1_25_1","first-page":"24","volume-title":"Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI '94)","author":"Launchbury John","unstructured":"John Launchbury and Simon L . Peyton Jones. 1994. Lazy Functional State Threads . In Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI '94) . ACM, New York, NY, USA , 24 - 35 . John Launchbury and Simon L. Peyton Jones. 1994. Lazy Functional State Threads. In Proceedings of the ACM SIGPLAN 1994 Conference on Programming Language Design and Implementation (PLDI '94). ACM, New York, NY, USA, 24-35."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258970"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.5009446"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411203.1411251"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034685"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2851141.2851142"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581695"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317777"},{"key":"e_1_3_2_1_36_1","first-page":"179","volume-title":"Proceedings of the 11th International Conference on Compiler Construction (CC '02)","author":"Thies William","unstructured":"William Thies , Michal Karczmarek , and Saman P. Amarasinghe . 2002. StreamIt: A Language for Streaming Applications . In Proceedings of the 11th International Conference on Compiler Construction (CC '02) . Springer-Verlag, London, UK, UK , 179 - 196 . http:\/\/dl.acm.org\/citation.cfm?id=647478.727935 William Thies, Michal Karczmarek, and Saman P. Amarasinghe. 2002. StreamIt: A Language for Streaming Applications. In Proceedings of the 11th International Conference on Compiler Construction (CC '02). Springer-Verlag, London, UK, UK, 179-196. http:\/\/dl.acm.org\/citation.cfm?id=647478.727935"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158152"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2588555.2595641"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804308"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_41_1","first-page":"242","article-title":"Functional reactive programming from first principles. In Acm sigplan notices, Vol. 35","author":"Wan Zhanyong","year":"2000","unstructured":"Zhanyong Wan and Paul Hudak . 2000 . Functional reactive programming from first principles. In Acm sigplan notices, Vol. 35 . ACM , 242 - 252 . Zhanyong Wan and Paul Hudak. 2000. Functional reactive programming from first principles. In Acm sigplan notices, Vol. 35. ACM, 242-252.","journal-title":"ACM"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/502059.502057"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976019"},{"key":"e_1_3_2_1_44_1","first-page":"2","volume-title":"Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12)","author":"Zaharia Matei","year":"2012","unstructured":"Matei Zaharia , Mosharaf Chowdhury , Tathagata Das , Ankur Dave , Justin Ma , Murphy McCauley , Michael J. Franklin , Scott Shenker , and Ion Stoica . 2012 . Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing . In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12) . USENIX Association, Berkeley, CA, USA , 2 - 2 . http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228301. Matei Zaharia, Mosharaf Chowdhury, Tathagata Das, Ankur Dave, Justin Ma, Murphy McCauley, Michael J. Franklin, Scott Shenker, and Ion Stoica. 2012. Resilient Distributed Datasets: A Fault-tolerant Abstraction for In-memory Cluster Computing. In Proceedings of the 9th USENIX Conference on Networked Systems Design and Implementation (NSDI'12). USENIX Association, Berkeley, CA, USA, 2-2. http:\/\/dl.acm.org\/citation.cfm?id=2228298.2228301."}],"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 12th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342600","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:39Z","timestamp":1750202019000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342600"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":44,"alternative-id":["10.1145\/3331545.3342600","10.1145\/3331545"],"URL":"https:\/\/doi.org\/10.1145\/3331545.3342600","relation":{},"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"2019-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}