Defining multi-user web applications with itasks

Authors:
Rinus Plasmeijer;Peter Achten;Bas Lijnse;Steffen Michels
Affiliations:
Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands;Institute for Computing and Information Sciences, Radboud University Nijmegen, Nijmegen, The Netherlands
Venue:
CEFP'11 Proceedings of the 4th Summer School conference on Central European Functional Programming School
Year:
2011

Citing 14
Cited 0

Comprehending monads

LFP '90 Proceedings of the 1990 ACM conference on LISP and functional programming
High-Level Server Side Web Scripting in Curry

PADL '01 Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages
WASH/CGI: Server-Side Web Scripting with Sessions and Typed, Compositional Forms

PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Web Programming with SMLserver

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Conventional and Uniqueness Typing in Graph Rewrite Systems

Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science
Server side web scripting in Haskell

Journal of Functional Programming
iTasks: executable specifications of interactive work flow systems for the web

ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Declarative Ajax and client side evaluation of workflows using iTasks

Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Links: web programming without tiers

FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
iTasks for a change: type-safe run-time change in dynamically evolving workflows

Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Getting a grip on tasks that coordinate tasks

Proceedings of the Eleventh Workshop on Language Descriptions, Tools and Applications
iEditors: extending iTask with interactive plug-ins

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
An executable and testable semantics for iTasks

IFL'08 Proceedings of the 20th international conference on Implementation and application of functional languages
iTask as a new paradigm for building GUI applications

IFL'10 Proceedings of the 22nd international conference on Implementation and application of functional languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

In these lecture notes we explain how multi-user web applications can be developed in a programming style that favors tasks as main building block for the construction of such systems. A task is work that has to be performed by human-beings and computers working together on the internet. This concept has been implemented in the iTask framework as a monadic combinator library that is embedded in the pure and lazy functional programming language Clean. These lecture notes consist of many examples and exercises, and also discusses the foundation of both the iTask system and task-oriented programming.