Wash/CGI: Server-side web scripting with sessions and typed, compositional forms

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

Volumn 2257, Issue , 2002, Pages 192-208

  Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

CGI Programming; Haskell; Monads

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMMON GATEWAY INTERFACE; CONTROL FLOWS; DYNAMIC CONTENT; GRAPHICAL USER INTERFACES (GUI); HASKELL; MONADS; SERVER SIDES;

GRAPHICAL USER INTERFACES;

EID: 84947220228     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45587-6_13     Document Type: Conference Paper

References (25)

1. Cgi: Common gateway interface. (http://www.w3.org/CGI/)
2. Haskell 98, a non-strict, purely functional language. http://www.haskell.org/definition (1998)
3. Meijer, E.: Server-side web scripting with Haskell. Journal of Functional Programming 10 (2000) 1-18
4. Jones, M. P.: Functional programming with overloading and higher-order polymorphism. In: Advanced Functional Programming. Volume 925 of Lecture Notes in Computer Science. Springer-Verlag (1995) 97-136
5. Hughes, J.: Generalising monads to arrows. Science of Computer Programming 37 (2000) 67-111
6. Hughes, J. Private communication (2000)
7. Hanus, M.: High-level server side Web scripting in Curry. In: Practical Aspects of Declarative Languages, Proceedings of the Third International Workshop, PADL’01. Lecture Notes in Computer Science, Las Vegas, NV, USA, Springer-Verlag (2001)
8. Graunke, P., Krishnamurthi, S., Hoeven, S. V. D., Felleisen, M.: Programming the Web with high-level programming languages. In Sands, D., ed.: Proc. 10th European Symposium on Programming. Lecture Notes in Computer Science, Genova, Italy, Springer-Verlag (2001) 122-136
9. Queinnec, C.: The influence of browsers on evaluators or, continuations to program Web servers. [25] 23-33
10. Graunke, P., Findler, R. B., Krishnamurthi, S., Felleisen, M.: Automatically restructuring programs for the Web. In: Proceedings of ASE-2001: The 16th IEEE International Conference on Automated Software Engineering, San Diego, USA, IEEE CS Press (2001)
11. Sandholm, A., Schwartzbach, M. I.: A type system for dynamic web documents. In Reps, T., ed.: Proc. 27th Annual ACM Symposium on Principles of Programming Languages, Boston, MA, USA, ACM Press (2000) 290-301
12. Brabrand, C., Moller, A., Sandholm, A., Schwartzbach, M. I.: A runtime system for interactive web services. Journal of Computer Networks (1999)
13. Ladd, D. A., Ramming, J. C.: Programming the Web: An application-oriented language for hypermedia service programming, World Wide Web Consortium (1995) 567-586
14. Atkinson, D., Ball, T., Benedikt, M., Bruns, G., Cox, K., Mataga, P., Rehor, K.: Experience with a domain specific language for form-based services. In: Conference on Domain-Specific Languages, Santa Barbara, CA, USENIX (1997)
15. Levy, M. R.: Web programming in Guide. Software—Practice & Experience 28 (1998) 1581-1603
16. Carlsson, M., Hallgren, T.: FUDGETS: A graphical interface in a lazy functional language. In Arvind, ed.: Proc. Functional Programming Languages and Computer Architecture 1993, Copenhagen, Denmark, ACM Press, New York (1993) 321-330
17. Vullinghs, T., Tuijnman, D., Schulte, W.: Lightweight GUIs for functional programming. In Swierstra, D., Hermenegildo, M., eds.: International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP’95). Number 982 in Lecture Notes in Computer Science, Utrecht, The Netherlands, Springer-Verlag (1995) 341-356
18. Finne, S., Peyton Jones, S.: Composing Haggis. In: Proc. 5th Eurographics Workshop on Programming Paradigms in Graphics, Maastricht, NL (1995)
19. Sage, M.: FranTk — a declarative GUI language for Haskell. [25] 106-117
20. Thiemann, P.: Modeling HTML in Haskell. In: Practical Aspects of Declarative Languages, Proceedings of the Second International Workshop, PADL’00. Number 1753 in Lecture Notes in Computer Science, Boston, Massachusetts, USA (2000) 263-277
21. Thiemann, P.: A typed representation for HTML and XML in Haskell. Journal of Functional Programming (2001) To appear.
22. Peligrí-Llopart, E., Cable, L.: Java Server Pages Specification. http://java.sun.com/products/jsp/index.html (1999)
23. Meijer, E., van Velzen, D.: Haskell Server Pages, functional programming and the battle for the middle tier. In: Draft proceedings of the 2000 ACM SIGPLAN Haskell Workshop, Montreal, Canada (2000) 23-33
24. Peyton Jones, S., Gordon, A., Finne, S.: Concurrent Haskell. In: Conference Record of POPL’96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, St. Petersburg Beach, Florida, USA (1996) 295-308
25. Wadler, P., ed.: International Conference on Functional Programming. In Wadler, P., ed.: Proc. International Conference on Functional Programming 2000, Montreal, Canada, ACM Press, New York (2000)