{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:22:13Z","timestamp":1779099733205,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,19]],"date-time":"2012-09-19T00:00:00Z","timestamp":1348012800000},"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":[[2012,9,19]]},"DOI":"10.1145\/2370776.2370801","type":"proceedings-article","created":{"date-parts":[[2012,9,25]],"date-time":"2012-09-25T23:48:43Z","timestamp":1348616923000},"page":"195-206","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":37,"title":["Task-oriented programming in a pure functional language"],"prefix":"10.1145","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bas","family":"Lijnse","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen & Netherlands Defense Academy, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Michels","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pieter","family":"Koopman","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,19]]},"reference":[{"key":"e_1_3_2_1_3_1","volume-title":"Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, FMCO '06","volume":"4709","author":"Cooper Ezra","year":"2006","unstructured":"Ezra Cooper , Sam Lindley , Philip Wadler , and Jeremy Yallop . Links : web programming without tiers . In Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, FMCO '06 , volume 4709 , CWI, Amsterdam, The Netherlands, 7- -10, November 2006 . Springer-Verlag. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. Links: web programming without tiers. In Proceedings of the 5th International Symposium on Formal Methods for Components and Objects, FMCO '06, volume 4709, CWI, Amsterdam, The Netherlands, 7--10, November 2006. Springer-Verlag."},{"key":"e_1_3_2_1_4_1","volume-title":"An idiom's guide to formlets. Technical report","author":"Cooper Ezra","year":"2007","unstructured":"Ezra Cooper , Sam Lindley , Philip Wadler , and Jeremy Yallop . An idiom's guide to formlets. Technical report , The University of Edinburgh , UK , 2007 . http:\/\/groups.inf.ed.ac.uk\/links\/papers-\/formlets-draft2007.pdf. Ezra Cooper, Sam Lindley, Philip Wadler, and Jeremy Yallop. An idiom's guide to formlets. Technical report, The University of Edinburgh, UK, 2007. http:\/\/groups.inf.ed.ac.uk\/links\/papers-\/formlets-draft2007.pdf."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7304.001.0001","volume-title":"Working Minds: A practitioner's guide to cognitive task analysis","author":"Crandall Beth","year":"2006","unstructured":"Beth Crandall , Gary Klein , and Robert R Hoffman . Working Minds: A practitioner's guide to cognitive task analysis . MIT Press , 2006 . ISBN 978-0-262-03351-0. Beth Crandall, Gary Klein, and Robert R Hoffman. Working Minds: A practitioner's guide to cognitive task analysis. MIT Press, 2006. ISBN 978-0-262-03351-0."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24836-1_16"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.667959"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863530"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645771.667936"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_8"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325709"},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM '10","author":"Jansen Jan Martin","year":"2010","unstructured":"Jan Martin Jansen , Bas Lijnse , and Rinus Plasmeijer . Towards dynamic workflows for crisis management. In Simon French, Brian Tomaszewski, and Cristopher Zobel, editors , Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM '10 , Seattle, WA, USA , May 2010 . Jan Martin Jansen, Bas Lijnse, and Rinus Plasmeijer. Towards dynamic workflows for crisis management. In Simon French, Brian Tomaszewski, and Cristopher Zobel, editors, Proceedings of the 7th International Conference on Information Systems for Crisis Response and Management, ISCRAM '10, Seattle, WA, USA, May 2010."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"Pieter\n      Koopman Rinus\n      Plasmeijer and \n      Peter\n      Achten\n    .\n  An Effective Methodology for Defining Consistent Semantics of Complex Systems volume \n  6299\n   of \n  LNCS pages \n  224\n  --\n  267\n  . \n  Springer-Verlag Komarno Slovakia 25-130 May \n  2009\n  .   Pieter Koopman Rinus Plasmeijer and Peter Achten. An Effective Methodology for Defining Consistent Semantics of Complex Systems volume 6299 of LNCS pages 224--267. Springer-Verlag Komarno Slovakia 25-130 May 2009.","DOI":"10.1007\/978-3-642-17685-2_7"},{"key":"e_1_3_2_1_14_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"36","DOI":"10.1007\/978-3-642-16478-1_3","volume-title":"Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09","author":"Lijnse Bas","year":"2010","unstructured":"Bas Lijnse and Rinus Plasmeijer . iTasks 2: iTasks for End-users . In Marco Moraz\u00e1n and Sven-Bodo Scholz, editors, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09 , South Orange, NJ, USA , volume 6041 of LNCS , pages 36 -- 54 . Springer-Verlag , 2010 . Bas Lijnse and Rinus Plasmeijer. iTasks 2: iTasks for End-users. In Marco Moraz\u00e1n and Sven-Bodo Scholz, editors, Revised Selected Papers of the International Symposium on the Implementation and Application of Functional Languages, IFL '09, South Orange, NJ, USA, volume 6041 of LNCS, pages 36--54. Springer-Verlag, 2010."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management, ISCRAM '11","author":"Lijnse Bas","year":"2011","unstructured":"Bas Lijnse , Jan Martin Jansen , Ruud Nanne , and Rinus Plasmeijer . Capturing the netherlands coast guard's sar workflow with itasks. In David Mendonca and Julie Dugdale, editors , Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management, ISCRAM '11 , Lisbon, Portugal , May 2011 . ISCRAM Association. Bas Lijnse, Jan Martin Jansen, Ruud Nanne, and Rinus Plasmeijer. Capturing the netherlands coast guard's sar workflow with itasks. In David Mendonca and Julie Dugdale, editors, Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management, ISCRAM '11, Lisbon, Portugal, May 2011. ISCRAM Association."},{"key":"e_1_3_2_1_16_1","volume-title":"Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management, IS-CRAM '12","author":"Lijnse Bas","year":"2012","unstructured":"Bas Lijnse , Jan Martin Jansen , and Rinus Plasmeijer . Incidone : A taskoriented incident coordination tool. In Leon Rothkrantz, Jozef Ristvej, and Zeno Franco, editors , Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management, IS-CRAM '12 , Vancouver, Canada , April 2012 . Bas Lijnse, Jan Martin Jansen, and Rinus Plasmeijer. Incidone: A taskoriented incident coordination tool. In Leon Rothkrantz, Jozef Ristvej, and Zeno Franco, editors, Proceedings of the 9th International Conference on Information Systems for Crisis Response and Management, IS-CRAM '12, Vancouver, Canada, April 2012."},{"key":"e_1_3_2_1_17_1","first-page":"141","volume-title":"Proceedings of the 7th Symposium on Trends in Functional Programming, TFP '07","author":"Loitsch Florian","year":"2007","unstructured":"Florian Loitsch and Manuel Serrano . Hop client-side compilation . In Proceedings of the 7th Symposium on Trends in Functional Programming, TFP '07 , pages 141 -- 158 , New York, NY, USA , 2-4, April 2007 . Interact. Florian Loitsch and Manuel Serrano. Hop client-side compilation. In Proceedings of the 7th Symposium on Trends in Functional Programming, TFP '07, pages 141--158, New York, NY, USA, 2-4, April 2007. Interact."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003561"},{"key":"e_1_3_2_1_19_1","volume-title":"TFP '12","author":"Michels Steffen","year":"2012","unstructured":"Steffen Michels and Rinus Plasmeijer . Uniform data sources in a functional language. Submitted for presentation at Symposium on Trends in Functional Programming , TFP '12 , 2012 . URL https:\/\/wiki.clean.cs.ru.nl\/File:Sharing_Data_Sources.pdf. Steffen Michels and Rinus Plasmeijer. Uniform data sources in a functional language. Submitted for presentation at Symposium on Trends in Functional Programming, TFP '12, 2012. URL https:\/\/wiki.clean.cs.ru.nl\/File:Sharing_Data_Sources.pdf."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291174"},{"key":"e_1_3_2_1_21_1","first-page":"975","volume-title":"Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '06","author":"Serrano Manuel","year":"2006","unstructured":"Manuel Serrano , Erick Gallesio , and Florian Loitsch . Hop, a language for programming the web 2.0 . In Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '06 , pages 975 -- 985 , Portland, Oregon, USA, 22- -26, October 2006 . Manuel Serrano, Erick Gallesio, and Florian Loitsch. Hop, a language for programming the web 2.0. In Proceedings of the 11th International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA '06, pages 975--985, Portland, Oregon, USA, 22--26, October 2006."},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-45587-6_13","volume-title":"Proceedings of the 4th International Symposium on the Practical Aspects of Declarative Programming, PADL '02","author":"Thiemann Peter","year":"2002","unstructured":"Peter Thiemann . WASH\/CGI : server-side web scripting with sessions and typed, compositional forms . In Shriram Krishnamurthi and Raghu Ramakrishnan, editors, Proceedings of the 4th International Symposium on the Practical Aspects of Declarative Programming, PADL '02 , volume 2257 of Lecture Notes in Computer Science , pages 192 -- 208 , Portland, OR , USA, 19-20, January 2002 . Springer-Verlag . Peter Thiemann. WASH\/CGI: server-side web scripting with sessions and typed, compositional forms. In Shriram Krishnamurthi and Raghu Ramakrishnan, editors, Proceedings of the 4th International Symposium on the Practical Aspects of Declarative Programming, PADL '02, volume 2257 of Lecture Notes in Computer Science, pages 192--208, Portland, OR, USA, 19-20, January 2002. Springer-Verlag."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2040981.2041007"},{"key":"e_1_3_2_1_24_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"101","DOI":"10.1007\/3-540-44854-3_7","volume-title":"Revised Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02","author":"Vervoort Martijn","year":"2003","unstructured":"Martijn Vervoort and Rinus Plasmeijer . Lazy dynamic input\/output in the lazy functional language Clean . In Ricardo Pe\u00dcna and Thomas Arts, editors, Revised Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02 , Madrid, Spain , volume 2670 of LNCS , pages 101 -- 117 . Springer-Verlag , 2003 . Martijn Vervoort and Rinus Plasmeijer. Lazy dynamic input\/output in the lazy functional language Clean. In Ricardo Pe\u00dcna and Thomas Arts, editors, Revised Selected Papers of the 14th International Workshop on the Implementation of Functional Languages, IFL '02, Madrid, Spain, volume 2670 of LNCS, pages 101--117. Springer-Verlag, 2003."}],"event":{"name":"PPDP'12: Principles and Practice of Declarative Programming","location":"Leuven Belgium","acronym":"PPDP'12","sponsor":["Kuleuven Belgium Kuleuven Belgium","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 14th symposium on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2370776.2370801","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2370776.2370801","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:17Z","timestamp":1750239257000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2370776.2370801"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,19]]},"references-count":22,"alternative-id":["10.1145\/2370776.2370801","10.1145\/2370776"],"URL":"https:\/\/doi.org\/10.1145\/2370776.2370801","relation":{},"subject":[],"published":{"date-parts":[[2012,9,19]]},"assertion":[{"value":"2012-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}