{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T21:19:20Z","timestamp":1743110360768,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320958"},{"type":"electronic","value":"9783642320965"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32096-5_2","type":"book-chapter","created":{"date-parts":[[2012,7,11]],"date-time":"2012-07-11T02:23:57Z","timestamp":1341973437000},"page":"46-92","source":"Crossref","is-referenced-by-count":1,"title":["Defining Multi-user Web Applications with iTasks"],"prefix":"10.1007","author":[{"given":"Rinus","family":"Plasmeijer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bas","family":"Lijnse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steffen","family":"Michels","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Technical Report FIT-TR-2002-02, Queensland University of Technology (2002)"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"E. Barendsen","year":"1993","unstructured":"Barendsen, E., Smetsers, S.: Conventional and Uniqueness Typing in Graph Rewrite Systems (Extended Abstract). In: Shyamasundar, R.K. (ed.) FSTTCS 1993. LNCS, vol.\u00a0761, pp. 41\u201351. Springer, Heidelberg (1993)"},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"266","DOI":"10.1007\/978-3-540-74792-5_12","volume-title":"Formal Methods for Components and Objects","author":"E. Cooper","year":"2007","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: Links: Web Programming Without Tiers. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2006. LNCS, vol.\u00a04709, pp. 266\u2013296. Springer, Heidelberg (2007)"},{"key":"2_CR4","unstructured":"Cooper, E., Lindley, S., Wadler, P., Yallop, J.: An idiom\u2019s guide to formlets. Technical report, The University of Edinburgh, UK (2007), \n                  \n                    http:\/\/groups.inf.ed.ac.uk\/links\/papers\/formlets-draft2007.pdf"},{"key":"2_CR5","first-page":"76","volume":"3","author":"L. Domoszlai","year":"2011","unstructured":"Domoszlai, L., Bru\u00ebl, E., Jansen, J.M.: Implementing a non-strict purely functional language in JavaScript. Acta Universitatis Sapientiae\u00a03, 76\u201398 (2011)","journal-title":"Acta Universitatis Sapientiae"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/978-3-540-24836-1_16","volume-title":"Practical Aspects of Declarative Languages","author":"M. Elsman","year":"2004","unstructured":"Elsman, M., Larsen, K.F.: Typing XHTML Web Applications in ML. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 224\u2013238. Springer, Heidelberg (2004)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/3-540-36388-2_7","volume-title":"Practical Aspects of Declarative Languages","author":"M. Elsman","year":"2003","unstructured":"Elsman, M., Hallenberg, N.: Web Programming with SMLserver. In: Dahl, V. (ed.) PADL 2003. LNCS, vol.\u00a02562, pp. 74\u201391. Springer, Heidelberg (2003)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-45241-9_6","volume-title":"Practical Aspects of Declarative Languages","author":"M. Hanus","year":"2001","unstructured":"Hanus, M.: High-Level Server Side Web Scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.\u00a01990, pp. 76\u201392. Springer, Heidelberg (2001)"},{"key":"2_CR9","unstructured":"Jansen, J.M., Koopman, P., Plasmeijer, R.: Efficient interpretation by transforming data types and patterns to functions. In: Nilsson, H. (ed.) Proceedings of the 7th Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, April 19-21, pp. 157\u2013172 (2006) ISBN 978-1-84150-188-8"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/978-3-642-24452-0_11","volume-title":"Implementation and Application of Functional Languages","author":"J.M. Jansen","year":"2011","unstructured":"Jansen, J.M., Plasmeijer, R., Koopman, P.: iEditors: Extending iTask with Interactive Plug-ins. In: Scholz, S.-B., Chitil, O. (eds.) IFL 2008. LNCS, vol.\u00a05836, pp. 192\u2013211. Springer, Heidelberg (2011)"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-24452-0_12","volume-title":"Implementation and Application of Functional Languages","author":"P. Koopman","year":"2011","unstructured":"Koopman, P., Plasmeijer, R., Achten, P.: An Executable and Testable Semantics for iTasks. In: Scholz, S.-B., Chitil, O. (eds.) IFL 2008. LNCS, vol.\u00a05836, pp. 212\u2013232. Springer, Heidelberg (2011)"},{"key":"2_CR12","unstructured":"Lijnse, B., Jansen, J.M., Nanne, R., Plasmeijer, R.: Capturing the Netherlands coast guard\u2019s sar workflow with itasks. In: Mendonca, D., Dugdale, J. (eds.) Proceedings of the 8th International Conference on Information Systems for Crisis Response and Management, ISCRAM 2011, Lisbon, Portugal. ISCRAM Association (May 2011)"},{"key":"2_CR13","unstructured":"Loitsch, F., Serrano, M.: Hop client-side compilation. In: Proceedings of the 7th Symposium on Trends in Functional Programming, TFP 2007, New York, NY, USA, April 2-4, pp. 141\u2013158. Interact (2007)"},{"issue":"1","key":"2_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796899003561","volume":"10","author":"E. Meijer","year":"2000","unstructured":"Meijer, E.: Server side web scripting in Haskell. Journal of Functional Programming\u00a010(1), 1\u201318 (2000)","journal-title":"Journal of Functional Programming"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1007\/978-3-642-24276-2_10","volume-title":"Implementation and Application of Functional Languages","author":"S. Michels","year":"2011","unstructured":"Michels, S., Plasmeijer, R., Achten, P.: iTask as a New Paradigm for Building GUI Applications. In: Hage, J., Moraz\u00e1n, M.T. (eds.) IFL 2010. LNCS, vol.\u00a06647, pp. 153\u2013168. Springer, Heidelberg (2011)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P.: iTasks: executable specifications of interactive work flow systems for the web. In: Hinze, R., Ramsey, N. (eds.) Proceedings of the International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, pp. 141\u2013152. ACM Press (2007)","DOI":"10.1145\/1291151.1291174"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Achten, P., Koopman, P., Lijnse, B., van Noort, T., van Groningen, J.: iTasks for a change - Type-safe run-time change in dynamically evolving workflows. In: Khoo, S.-C., Siek, J. (eds.) Proceedings of the Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, Austin, TX, USA, pp. 151\u2013160. ACM Press (2011)","DOI":"10.1145\/1929501.1929528"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Jansen, J.M., Koopman, P., Achten, P.: Declarative Ajax and client side evaluation of workflows using iTasks. In: Proceedings of the 10th International Conference on Principles and Practice of Declarative Programming, PPDP 2008, Valencia, Spain, July 15-17, pp. 56\u201366 (2008)","DOI":"10.1145\/1389449.1389457"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Plasmeijer, R., Lijnse, B., Achten, P., Michels, S.: Getting a grip on tasks that coordinate tasks. In: Proceedings Workshop on Language Descriptions, Tools, and Applications (LDTA), Saarbr\u00fccken, Germany, March 26-27 (2011)","DOI":"10.1145\/1988783.1988784"},{"key":"2_CR20","unstructured":"Serrano, M., Gallesio, E., Loitsch, F.: 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 2006, Portland, Oregon, USA, October 22-26, pp. 975\u2013985 (2006)"},{"key":"2_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"192","DOI":"10.1007\/3-540-45587-6_13","volume-title":"Practical Aspects of Declarative Languages","author":"P. Thiemann","year":"2002","unstructured":"Thiemann, P.: WASH\/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol.\u00a02257, pp. 192\u2013208. Springer, Heidelberg (2002)"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Comprehending monads. In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1990, Nice, France, pp. 61\u201377 (1990)","DOI":"10.1145\/91556.91592"}],"container-title":["Lecture Notes in Computer Science","Central European Functional Programming School"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32096-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:00:34Z","timestamp":1558299634000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32096-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320958","9783642320965"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32096-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}