ITasks: Executable specifications of interactive work flow systems for the web

Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP

Volumn , Issue , 2007, Pages 141-152

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

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Clean; IData; ITask

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; MULTIUSER DETECTION; SPECIFICATIONS; USER INTERFACES; WORLD WIDE WEB;

EXECUTABLE SPECIFICATIONS; IDATA; INTERACTIVE WORK FLOW SYSTEMS; ITASK;

INTERACTIVE COMPUTER SYSTEMS;

EID: 38849132612     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1291151.1291174     Document Type: Conference Paper

References (21)

1. Altem Alimarine. Generic Functional Programming - Conceptual Design, Implementation and Applications. PhD thesis, University of Nijmegen, The Netherlands, 2005. ISBN 3-540-67658-9.
2. 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.
3. Claus Brabrand, Anders Møller, Mikkel Ricky, and Michael I. Schwartzbach. Powerforms: Declarative client-side form field validation. World wide Web Journal, 3(4):205-314, 2000.
4. Claus Brabrand, Anders Møller, and Michael I. Schwartzbach. The 〈bigwig〉 Project. In ACM Transactions on Internet Technology (TOIT), 2002.
5. 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.
6. Stéphane Ducasse, Adrian Lienhard, and Lukas Renggli. Seaside - A Multiple Control Flow Web Application Framework. In Stéphane Ducasse, editor, Proceedings ESUG 2004 International Conference - Research Track, volume Technical Report IAM-04-008, pages 231-254. Institut für Informatik und Angewandte Mathematik, University of Bern, Switzerland, November 7 2004.
7. Martin Elsman and Niels Hallenberg. Web programming with SMLserver. In Fifth International Symposium on Practical Aspects of Declarative Languages (PADL'03). Springer-Verlag, January 2003.
8. Martin Elsman and Ken Friis Larsen. Typing XHTML Web applications in ML. In International Symposium on Practical Aspects of Declarative Languages (PADL'04), volume 3057 of LNCS, pages 224-238. Springer-Verlag, June 2004.
9. 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.
10. 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.
11. Ralf Hinze. A new approach to generic functional programming. In The 27th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 119-132. Boston, Massachusetts, January 2000. URL urlciteseer.nj.nec.com/hinze99new.html.
12. John Hughes. Generalising Monads to Arrows. Science of Computer Programming, 37:67-111, May 2000.
13. 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.
14. Erik Meijer. Server Side Web Scripting in Haskell. Journal of Functional Programming, 10(1):1-18, 2000.
15. Rinus Plasmeijer and Peter Achten. The Implementation of iData - A Case Study in Generic Programming. In A. Butterfield, editor, Proceedings Implementation and Application of Functional Languages - Revised Selected Papers, 17th International Workshop, IFL05, LNCS 4015, Department of Computer Science, Trinity College, University of Dublin, September 19-21 2006a.
16. Rinus Plasmeijer and Peter Achten. iData For The World Wide Web - Programming Interconnected Web Forms. In Proceedings Eighth International Symposium on Functional and Logic Programming (FLOPS 2006), volume 3945 of LNCS, Fuji Susono, Japan, Apr 24-26 2006b. Springer Verlag.
17. 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.
18. Christian Queinnec. The influence of browsers on evaluators or, continuations to program web servers. In Proceedings Fifth International Conference on Functional Programming (ICFP '00), September 2000.
19. Manuel Serrano, Erick Gallesio, and Florian Loitsch. 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), pages 975-985, Portland, Oregon, USA, October 22-26 2006.
20. 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.
21. 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.