{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:16Z","timestamp":1772163916329,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"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":[[2007,10]]},"DOI":"10.1145\/1291151.1291174","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"141-152","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":29,"title":["iTasks"],"prefix":"10.1145","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","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":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_2_1","volume-title":"Usenix Conference on Domain Specific Languages","author":"Atkins David","year":"1997","unstructured":"David Atkins , Thomas Ball , Michael Benedikt , Glenn Bruns , Kenneth Cox , Peter Mataga , and Kenneth Rehor . Experience with a Domain Specific Language for Form-based Services . In Usenix Conference on Domain Specific Languages , October 1997 . David Atkins, Thomas Ball, Michael Benedikt, Glenn Bruns, Kenneth Cox, Peter Mataga, and Kenneth Rehor. Experience with a Domain Specific Language for Form-based Services. In Usenix Conference on Domain Specific Languages, October 1997."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018772405468"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/514183.514184"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 5th International Symposium on Formal Methods for Components and Objects (FMCO'06)","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) , CWI, Amsterdam, The Netherlands , 7-10 November 2006 . Springer-Verlag. to appear. 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), CWI, Amsterdam, The Netherlands, 7-10 November 2006. Springer-Verlag. to appear."},{"key":"e_1_3_2_1_6_1","first-page":"231","volume-title":"Proceedings ESUG 2004 International Conference - Research Track","volume":"008","author":"Ducasse St\u00e9phane","year":"2004","unstructured":"St\u00e9phane Ducasse , Adrian Lienhard , and Lukas Renggli . Seaside - A Multiple Control Flow Web Application Framework . In St &3233;phane Ducasse, editor , Proceedings ESUG 2004 International Conference - Research Track , volume Technical Report IAM-04- 008 , pages 231 -- 254 . Institut f\u00fcr Informatik und Angewandte Mathematik, University of Bern, Switzerland , November 7 2004 . St\u00e9phane Ducasse, Adrian Lienhard, and Lukas Renggli. Seaside - A Multiple Control Flow Web Application Framework. In St&3233;phane Ducasse, editor, Proceedings ESUG 2004 International Conference - Research Track, volume Technical Report IAM-04-008, pages 231--254. Institut f\u00fcr Informatik und Angewandte Mathematik, University of Bern, Switzerland, November 7 2004."},{"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.1007\/978-3-540-24836-1_16"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings 16th IEEE International Conference on Automated Software Engineering (ASE'01)","author":"Graunke Paul","year":"2001","unstructured":"Paul Graunke , Shriram Krishnamurthi , Robert Bruce Findler , and Matthias Felleisen . Automatically Restructuring Programs for the Web. In M. Feather and M. Goedicke, editors , Proceedings 16th IEEE International Conference on Automated Software Engineering (ASE'01) . IEEE CS Press , September 2001 . Paul Graunke, Shriram Krishnamurthi, Robert Bruce Findler, and Matthias Felleisen. Automatically Restructuring Programs for the Web. In M. Feather and M. Goedicke, editors, Proceedings 16th IEEE International Conference on Automated Software Engineering (ASE'01). IEEE CS Press, September 2001."},{"key":"e_1_3_2_1_10_1","first-page":"76","volume-title":"Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01)","author":"Hanus M.","year":"1990","unstructured":"M. Hanus . High-Level Server Side Web Scripting in Curry . In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01) , pages 76 -- 92 . Springer LNCS 1990 , 2001. M. Hanus. High-Level Server Side Web Scripting in Curry. In Proc. of the Third International Symposium on Practical Aspects of Declarative Languages (PADL'01), pages 76--92. Springer LNCS 1990, 2001."},{"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","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_13_1","first-page":"157","volume-title":"Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006","author":"Jansen Jan Martin","year":"2006","unstructured":"Jan Martin Jansen , Pieter Koopman , and Rinus Plasmeijer . Efficient Interpretation by Transforming Data Types and Patterns to Functions. In H. Nilsson, editor , Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006 , pages 157 -- 172 , Nottingham, UK, The University of Nottingham , April 19-21 2006 . Jan Martin Jansen, Pieter Koopman, and Rinus Plasmeijer. Efficient Interpretation by Transforming Data Types and Patterns to Functions. In H. Nilsson, editor, Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, pages 157--172, Nottingham, UK, The University of Nottingham, April 19-21 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003561"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11964681_7"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_17"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06","author":"Plasmeijer Rinus","year":"2006","unstructured":"Rinus Plasmeijer and Peter Achten . A Conference Management System based on iData . In Z. Horvath and V. Zsok, editors, Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06 , Budapest, Hungary , Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Sept 4-6 2006 c. To appear in Springer LNCS. Rinus Plasmeijer and Peter Achten. A Conference Management System based on iData. In Z. Horvath and V. Zsok, editors, Proceedings of the 18th International Symposium on Implementation and Application of Functional Languages, IFL'06, Budapest, Hungary, Eotvos Lorand University, Faculty of Informatics, Department of Programming Languages and Compilers, Sept 4-6 2006c. To appear in Springer LNCS."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351243"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176756"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-45587-6_13","volume-title":"Practical Aspects of Declarative Languages: 4th International Symposium, PADL","author":"Thiemann Peter","year":"2002","unstructured":"Peter Thiemann . WASH\/CGI : Server-side Web Scripting with Sessions and Typed , Compositional Forms. In S. Krishnamurthi and C. R. Ramakrishnan, editors, Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002 , volume 2257 of LNCS , pages 192 -- 208 , Portland, OR , USA, January 19-20 2002. Springer-Verlag . Peter Thiemann. WASH\/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. In S. Krishnamurthi and C. R. Ramakrishnan, editors, Practical Aspects of Declarative Languages: 4th International Symposium, PADL 2002, volume 2257 of LNCS, pages 192--208, Portland, OR, USA, January 19-20 2002. Springer-Verlag."},{"key":"e_1_3_2_1_21_1","volume-title":"B. Kiepuszewski, and A. P. Barros. Workflow patterns. QUT Technical report, FIT-TR-2002-02","author":"van der Aalst W. M. P.","year":"2002","unstructured":"W. M. P. van der Aalst , A. H. M. ter Hofstede , B. Kiepuszewski, and A. P. Barros. Workflow patterns. QUT Technical report, FIT-TR-2002-02 , Queensland University of Technology , Brisbane , 2002 . W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski, and A. P. Barros. Workflow patterns. QUT Technical report, FIT-TR-2002-02, Queensland University of Technology, Brisbane, 2002."}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291174","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291174"}},"subtitle":["executable specifications of interactive work flow systems for the web"],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":20,"alternative-id":["10.1145\/1291151.1291174","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291174","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291174","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}