HDM—a model-based approach to hypertext application design
ACM Transactions on Information Systems (TOIS)
RMM: a methodology for structured hypermedia design
Communications of the ACM
The object-oriented hypermedia design model
Communications of the ACM
Modeling Web application architectures with UML
Communications of the ACM
Tools and approaches for developing data-intensive Web applications: a survey
ACM Computing Surveys (CSUR)
Web Modeling Language (WebML): a modeling language for designing Web sites
Proceedings of the 9th international World Wide Web conference on Computer networks : the international journal of computer and telecommunications netowrking
Exploiting UML Extensibility in the Design Phase of Web Information Systems
Proceedings of the Baltic Conference, BalticDB&IS 2002 - Volume 2
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
A user-centred approach to functions in Excel
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
A typed representation for HTML and XML documents in Haskell
Journal of Functional Programming
Inductive graphs and functional graph algorithms
Journal of Functional Programming
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Type-oriented construction of web user interfaces
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Rapid prototyping of web applications combining domain specific languages and model driven design
ICWE '06 Proceedings of the 6th international conference on Web engineering
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
MDA transformations applied to web application development
ICWE'05 Proceedings of the 5th international conference on Web Engineering
| Hi-index | 0.00 |
Web applications are complex software artefacts whose creation and maintenance is not feasible without abstractions, or models. Many special-purpose languages are used today as notations for these models. We show that functional programming languages can be used as modelling languages, offering substantial benefits. The precision and expressive power of functional languages helps in developing concise and maintainable specifications. We demonstrate our approach with the help of a simple example web site, using Haskell as the implementation language.