The implementation of iData a case study in generic programming

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

Volumn 4015 LNCS, Issue , 2006, Pages 106-123

  Plasmeijer, Rinus ^a   Achten, Peter ^a  

^a RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC GENERATION; DYNAMIC WEB APPLICATIONS; EXPRESSIVE POWER; GENERIC PROGRAMMING; GRAPHICAL PACKAGES; HIGH LEVEL OF ABSTRACTION; PROGRAMMING TECHNIQUE; WEB APPLICATION;

APPLICATIONS;

WORLD WIDE WEB;

EID: 38849180465     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11964681_7     Document Type: Conference Paper

References (26)

1. A. Alimarine. Generic Functional Programming-Conceptual Design, Implementation and Applications. PhD thesis, University of Nijmegen, The Netherlands, 2005. ISBN 3-540-67658-9.
2. 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. Alvsjö, Sweden, Springer, Sept. 2002.
3. 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.
4. 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.
5. 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.
6. E. Barendsen and S. Smetsers. Graph Rewriting Aspects of Functional Programming, chapter 2, pages 63-102. World scientific, 1999.
7. 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.
8. C. Brabrand, A. Møller, and M. Schwartzbach. The 〈bigwig〉 Project. In ACM Transactions on Internet Technology (TOIT), 2002.
9. 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.
10. P. Graunke, S. Krishnamurthi, R. Bruce Findler, and M. Felleisen. Automatically Restructuring Programs for theWeb. In M. Feather and M. Goedicke, editors, Proceedings 16th IEEE International Conference on Automated Software Engineering (ASE'01). IEEE CS Press, Sept. 2001.
11. 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.
12. 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.
13. 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.
14. J. Hughes. Generalising Monads to Arrows. Science of Computer Programming, 37:67-111, May 2000.
15. 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.
16. 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.
17. E. Meijer. Server Side Web Scripting in Haskell. Journal of Functional Programming, 10(1):1-18, 2000.
18. R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). MIT Press, 1997.
19. S. Peyton Jones and Hughes J. et al. Report on the programming language Haskell 98. University of Yale, 1999. http://www.haskell.org/definition/.
20. R. Plasmeijer and P. Achten. Generic Editors for the WorldWide Web. In Central-European Functional Programming School, Eötvös Loránd University, Budapest, Hungary, Jul 4-16 2005.
21. R. Plasmeijer and P. 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 2006. Springer Verlag.
22. R. Plasmeijer and M. van Eekelen. Concurrent CLEAN Language Report (version 2.0), December 2001. http://www.cs.ru.nl/~clean/.
23. 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.
24. 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.
25. P. Thiemann. A Typed Representation for HTML and XML Documents in Haskell. Journal of Functional Programming, 2005. Under consideration for publication.
26. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or typebased 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.