iData for the World Wide Web programming interconnected web forms

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

Volumn 3945 LNCS, Issue , 2006, Pages 242-258

  Plasmeijer, Rinus ^a   Achten, Peter ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

Functional programming; Server side web programming; Web forms

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTER SYSTEMS PROGRAMMING; HTML; INTERACTIVE COMPUTER SYSTEMS; LARGE SCALE SYSTEMS; WORLD WIDE WEB;

FUNCTIONAL PROGRAMMING; SERVER SIDE WEB PROGRAMMING; WEB FORMS;

COMPUTER AIDED SOFTWARE ENGINEERING;

EID: 33745835728     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11737414_17     Document Type: Conference Paper

References (26)

1. P. Achten, M. van Eekelen, R. Plasmeijer, and A. van Weelden. GEC: a toolkit for Generic Rapid Prototyping of Type Safe Interactive Applications. In 5th International Summer School on Advanced Functional Programming (AFP 2004), volume 3622 of LNCS, pages 210-244. Springer, August 14-21 2004.
2. A. Alimarine. Generic Functional Programming - Conceptual Design, Implementation and Applications. PhD thesis, University of Nijmegen, The Netherlands, 2005. ISBN 3-540-67658-9.
3. A. Alimarine and R. Plasmeijer. A Generic Programming Extension for Clean. In T. Arts and M. Mohnen, editors, The 13th International workshop on the Implementation of Functional Languages, IFL'01, Selected Papers, volume 2312 of LNCS, pages 168-186. Älvsjö, Sweden, Springer, Sept. 2002.
4. F. Atanassow, D. Clarke, and J. Jeuring. UUXML: A Type-Preserving XML Schema-Haskell Data Binding. In International Symposium on Practical Aspects of Declarative Languages (PADL'04), volume 3057 of LNCS, pages 71-85. Springer-Verlag, June 2004.
5. D. Atkins, T. Ball, M. Benedikt, G. Bruns, K. Cox, P. Mataga, and K. Rehor. Experience with a Domain Specific Language for Form-based Services. In Usenix Conference on Domain Specific Languages, Oct. 1997.
6. E. Barendsen and S. Smetsers. Uniqueness typing for functional languages with graph rewriting semantics. In Mathematical Structures in Computer Science, volume 6, pages 579-612, 1996.
7. E. Barendsen and S. Smetsers. Graph Rewriting Aspects of Functional Programming, chapter 2, pages 63-102. World scientific, 1999.
8. C. Brabrand, A. Møller, M. Ricky, and M. Schwartzbach. Powerforms: Declarative client-side form field validation. World Wide Web Journal, 3(4):205-314, 2000.
9. C. Brabrand, A. Møller, and M. Schwartzbach. The 〈bigwig〉 Project. In ACM Transactions on Internet Technology (TOIT), 2002.
10. M. Elsman and K. F. 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.
11. P. Graunke, S. Krishnamurthi, R. Bruce Findler, and M. 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, Sept. 2001.
12. 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.
13. R. 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.
14. R. Hinze and S. Peyton Jones. Derivable Type Classes, In G. Hutton, editor, 2000 ACM SIGPLAN Haskell Workshop, volume 41(1) of ENTCS. Montreal, Canada, Elsevier Science, 2001.
15. J. Hughes. Generalising Monads to Arrows. Science of Computer Programming, 37:67-111, May 2000.
16. G. Krasner and S. Pope. A cookbook for using the Model-View-Controller user interface paradigm in Smalltalk-80. Journal of Object-Oriented Programming, 1(3):26-49, August 1988.
17. A. Löh, D. Clarke, and J. Jeuring. Dependency-style Generic Haskell. In Proceedings of the eighth ACM SIGPLAN International Conference on Functional Programming (ICFP'03), pages 141-152. ACM Press, 2003.
18. E. Meijer. Server Side Web Scripting in Haskell. Journal of Functional Programming, 10(1):1-18, 2000.
19. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
20. R. Plasmeijer and P. Achten. The Implementation of iData - A Case Study in Generic Programming. In A. Butterfield, editor, Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland, September 19-21 2005. Technical Report No: TCD-CS-2005-60.
21. R. Plasmeijer and M. van Eekelen. Concurrent CLEAN Language Report (version 2.0), December 2001. http://www.cs.ru.nl/~clean/.
22. C. Queinnec. The influence of browsers on evaluators or, continuations to program web servers. In Proceedings Fifth International Conference on Functional Programming (ICFP'00), Sept. 2000.
23. P. Thiemann. WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. In S. Krishnamurthi and C. 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.
24. P. Thiemann. A Typed Representation for HTML and XML Documents in Haskell. Journal of Functional Programming, 2005. Under consideration for publication.
25. A. van Weelden, S. Smetsers, and R. Plasmeijer. A Generic Approach to Syntax Tree Operations. In A. Butterfield, editor, Proceedings Implementation and Application of Functional Languages, 17th International Workshop, IFL05, Dublin, Ireland, September 19-21 2005. Technical Report No: TCD-CS-2005-60.
26. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In Proc. of the Fourth ACM SIGPLAN Intnl. Conference on Functional Programming (ICFP'99), volume 34-9, pages 148-159, N.Y., 1999. ACM.