{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T15:37:26Z","timestamp":1756309046307,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,7]],"date-time":"2019-10-07T00:00:00Z","timestamp":1570406400000},"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,10,7]]},"DOI":"10.1145\/3354166.3354182","type":"proceedings-article","created":{"date-parts":[[2019,9,24]],"date-time":"2019-09-24T12:58:36Z","timestamp":1569329916000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["TopHat"],"prefix":"10.1145","author":[{"given":"Tim","family":"Steenvoorden","sequence":"first","affiliation":[{"name":"Software Science, Radboud University Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nico","family":"Naus","sequence":"additional","affiliation":[{"name":"Information and Computing Sciences, Utrecht University, Utrecht, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Markus","family":"Klinik","sequence":"additional","affiliation":[{"name":"Software Science, Radboud University Nijmegen, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Heinrich Apfelmus. 2019. reactive-banana. https:\/\/wiki.haskell.org\/Reactive-banana. [Accessed 13-Febuary-2019].  Heinrich Apfelmus. 2019. reactive-banana. https:\/\/wiki.haskell.org\/Reactive-banana. [Accessed 13-Febuary-2019]."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2093328.2093337"},{"key":"e_1_3_2_1_4_1","unstructured":"G\u00e9rard Berry and Manuel Serrano. 2013. Hop and HipHop: Multitier Web Orchestration. CoRR abs\/1312.0078 (2013).  G\u00e9rard Berry and Manuel Serrano. 2013. Hop and HipHop: Multitier Web Orchestration. CoRR abs\/1312.0078 (2013)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"e_1_3_2_1_7_1","unstructured":"Allen B. Downey. 2008. The Little Book of Semaphores. Green Tea Press.  Allen B. Downey. 2008. The Little Book of Semaphores. Green Tea Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_9_1","unstructured":"C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice Hall Int'l.  C. A. R. Hoare. 1985. Communicating Sequential Processes. Prentice Hall Int'l."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.017"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3205368.3205376"},{"key":"e_1_3_2_1_12_1","unstructured":"Bram Kool. 2017. Integrated Mission Management voor C2-ondersteuning. Bachelor's Thesis. Dutch Defence Academy Den Helder The Netherlands.  Bram Kool. 2017. Integrated Mission Management voor C2-ondersteuning. Bachelor's Thesis. Dutch Defence Academy Den Helder The Netherlands."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3183895.3183902"},{"volume-title":"Proceedings of the 20th Symposium on Implementation and Application of Functional Programming Languages, IFL 2008.","year":"2008","author":"Koopman Pieter W. M.","key":"e_1_3_2_1_14_1"},{"volume-title":"Proceedings of ISCRAM.","year":"2012","author":"Lijnse Bas","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","unstructured":"Simon Marlow et al. 2010. Haskell 2010 language report.  Simon Marlow et al. 2010. Haskell 2010 language report."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640091"},{"key":"e_1_3_2_1_18_1","unstructured":"Robin Milner. 1989. Communication and concurrency. Prentice Hall.  Robin Milner. 1989. Communication and concurrency. Prentice Hall."},{"volume-title":"Trends in Functional Programming - 17th International Conference, TFP","year":"2016","author":"Naus Nico","key":"e_1_3_2_1_19_1"},{"key":"e_1_3_2_1_20_1","unstructured":"OASIS. 2019. Web Services Business Process Execution Language. https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel. [Accessed 12-Febuary-2019].  OASIS. 2019. Web Services Business Process Execution Language. https:\/\/www.oasis-open.org\/committees\/tc_home.php?wg_abbrev=wsbpel. [Accessed 12-Febuary-2019]."},{"volume-title":"Engineering theories of software construction, Marktoberdorf Summer School","year":"2000","author":"Jones Simon Peyton","key":"e_1_3_2_1_21_1"},{"key":"e_1_3_2_1_22_1","unstructured":"Benjamin C. Pierce. 2002. Types and programming languages. MIT Press.  Benjamin C. Pierce. 2002. Types and programming languages. MIT Press."},{"volume-title":"PPDP'12","year":"2012","author":"Plasmeijer Rinus","key":"e_1_3_2_1_23_1"},{"key":"e_1_3_2_1_24_1","unstructured":"Jurri\u00ebn Stutterheim. 2017. A Cocktail of Tools. Ph.D. Dissertation. Radboud University Nijmegen The Netherlands.  Jurri\u00ebn Stutterheim. 2017. A Cocktail of Tools. Ph.D. Dissertation. Radboud University Nijmegen The Netherlands."},{"volume-title":"TFP","year":"2017","author":"Stutterheim Jurri\u00ebn","key":"e_1_3_2_1_25_1"},{"volume-title":"Tonic: An Infrastructure to Graphically Represent the Definition and Behaviour of Tasks. In Trends in Functional Programming - 15th International Symposium, TFP","year":"2014","author":"Stutterheim Jurri\u00ebn","key":"e_1_3_2_1_26_1"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"}],"event":{"name":"PPDP '19: Principles and Practice of Programming Languages 2019","sponsor":["Sony Sony Corporation"],"location":"Porto Portugal","acronym":"PPDP '19"},"container-title":["Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354182","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3354166.3354182","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:44:56Z","timestamp":1750203896000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3354166.3354182"}},"subtitle":["A formal foundation for task-oriented programming"],"short-title":[],"issued":{"date-parts":[[2019,10,7]]},"references-count":29,"alternative-id":["10.1145\/3354166.3354182","10.1145\/3354166"],"URL":"https:\/\/doi.org\/10.1145\/3354166.3354182","relation":{},"subject":[],"published":{"date-parts":[[2019,10,7]]},"assertion":[{"value":"2019-10-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}