An introduction to itasks: Defining interactive work flows for the web

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5161 LNCS, Issue , 2008, Pages 1-40

  Plasmeijer, Rinus ^a   Achten, Peter ^a   Koopman, Pieter ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; FLOW PATTERNS; FUNCTIONAL PROGRAMMING; HIGH LEVEL LANGUAGES;

AUTOMATED SYSTEMS; COMMERCIAL SYSTEMS; EXPRESSIVE POWER; FUNCTIONAL LANGUAGES; GENERIC PROGRAMMING; HIGH LEVEL OF ABSTRACTION; WEB APPLICATION; WORK-FLOW SYSTEMS;

COMPUTER SYSTEMS PROGRAMMING;

EID: 70349804149     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88059-2_1     Document Type: Conference Paper

References (25)

1. Alimarine, A.: Generic Functional Programming - Conceptual Design, Implementation and Applications. PhD thesis, University of Nijmegen, The Netherlands (2005) ISBN 3-540-67658-9
2. Atkins, D., Ball, T., Benedikt, M., Bruns, G., Cox, K., Mataga, P., Rehor, K.: Experience with a Domain Specific Language for Form-based Services. In: Usenix Conference on Domain Specific Languages (October 1997)
3. Brabrand, C., Møller, A., Ricky, M., Schwartzbach, M.: Powerforms: Declarative client-side form field validation. World Wide Web Journal 3(4), 205-314 (2000)
4. Brabrand, C., Møller, A., Schwartzbach, M.: The Project. ACM Transactions on Internet Technology (TOIT) (2002)
5. 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.4709. Springer, Heidelberg (2007)
6. Ducasse, S., Lienhard, A., Renggli, L.: Seaside - A Multiple Control Flow Web Application Framework. In: Ducasse, S. (ed.), Proceedings ESUG 2004 International Conference - Research Track, volume Technical Report IAM-04-008, pp. 231-254. Institut für Informatik und Angewandte Mathematik, University of Bern, Switzerland, November 7 (2004)
7. Elliot, C.: Tangible Functional Programming. In: Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming (ICFP 2007), Freiburg, Germany, October 1-3, pp. 59-70. ACM, New York (2007)
8. Elsman, M., Hallenberg, N.: Web programming with SMLserver. In: Dahl, V., Wadler, P. (eds.) PADL 2003. Springer, Heidelberg (2003)
9. Elsman, M., Larsen, K.F.: Typing XHTML Web applications in ML. In: Jayara-man, B. (ed.) PADL 2004. LNCS, vol.3057, pp. 224-238. Springer, Heidelberg (2004)
10. Graunke, P., Krishnamurthi, S., Findler, R.B., Felleisen, M.: Automatically Restructuring Programs for the Web. In: Feather, M., Goedicke, M. (eds.) Proceedings 16th IEEE International Conference on Automated Software Engineering (ASE 2001). IEEE CS Press, Los Alamitos (2001)
11. Hanna, K.: A Document-Centered Environment for Haskell. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.4015. Springer, Heidelberg (2006)
12. Hanus, M.: High-Level Server Side Web Scripting in Curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol.1990, pp. 76-92. Springer, Heidelberg (2001)
13. Hinze, R.: A new approach to generic functional programming. In: The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Massachusetts, Boston, pp. 119-132 (January 2000)
14. Hughes, J.: Generalising Monads to Arrows. Science of Computer Programming 37, 67-111 (2000)
15. Jansen, J., Koopman, P., Plasmeijer, R.: Efficient Interpretation by Transforming Data Types and Patterns to Functions. In: Nilsson, H. (ed.) Proceedings Seventh Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, April 19-21, 2006, pp. 157-172. The University of Nottingham (2006)
16. Meijer, E.: Server Side Web Scripting in Haskell. Journal of Functional Programming 10(1), 1-18 (2000)
17. Plasmeijer, R., Achten, P.: A Conference Management System based on the iData Toolkit. In: Horv́ath, Z., Zśok, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.4449, pp. 108-125. Springer, Heidelberg (2007)
18. Plasmeijer, R., Achten, P.: iData For The World Wide Web - Programming Interconnected Web Forms. In: Hagiya, M., Wadler, P. (eds.) FLOPS 2006. LNCS, vol.3945. Springer, Heidelberg (2006)
19. Plasmeijer, R., Achten, P.: The Implementation of iData - A Case Study in Generic Programming. In: Butterfield, A., Grelck, C., Huch, F. (eds.) IFL 2005. LNCS, vol.4015, pp. 106-123. Springer, Heidelberg (2006)
20. Pointon, R., Trinder, P., Loidl, H.: The Design and Implementation of Glasgow distributed Haskell. In: Mohnen, M., Koopman, P. (eds.) IFL 2000. LNCS, vol.2011. Springer, Heidelberg (2001)
21. Queinnec, C.: The influence of browsers on evaluators or, continuations to program web servers. In: Proceedings Fifth International Conference on Functional Programming (ICFP 2000) (September 2000)
22. Serrano, M., Gallesio, E., Loitsch, F.: Hop, a language for programming the web 2.0. In: Proceedings ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), Portland, Oregon, USA, pp. 975-985, October 22-26 (2006)
23. Thiemann, P.: WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Form. In: Krishnamurthi, S., Ramakrishnan, C. (eds.) PADL 2002. LNCS, vol.2257, pp. 192-208. Springer, Heidelberg (2002)
24. van der Aalst, W., ter Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. QUT Technical report, FIT-TR-2002-2102, Queensland University of Technology, Brisbane (2002)
25. ok, V., Hernýak, Z., Horv́ath, Z.: Distributed Pattern Design in D-Clean. In: Central-European Functional Programming School, CEFP 2005, oldal, vol.33 (2005), http://plc.inf.elte.hu/cefp/download/dclean dbox lecturenotes.pdf