Type-oriented construction of web user interfaces

PPDP'06 - Proceedings of the Eight ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

Volumn 2006, Issue , 2006, Pages 27-38

  Hanus, Michael ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

Functional logic programming; User interfaces; Web programming

Indexed keywords

ABSTRACTING; COMPUTER PROGRAMMING LANGUAGES; DATA PROCESSING; DATA STRUCTURES; WEB BROWSERS; WORLD WIDE WEB;

INPUT TYPE-CORRECT DATA; MULTI-PARADIGM LANGUAGE; TYPE-ORIENTED BUILDING BLOCKS;

USER INTERFACES;

EID: 33750917672     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1140335.1140341     Document Type: Conference Paper

References (26)

1. S. Antoy, R. Echahed, and M. Hanus. A Needed Narrowing Strategy. Journal of the ACM, Vol. 47, No. 4, pp. 776-822, 2000.
2. S. Antoy and M. Hanus. Functional Logic Design Patterns. In Proc. of the 6th International Symposium on Functional and Logic Programming (FLOPS 2002), pp. 67-87. Springer LNCS 2441, 2002.
3. S. Antoy and M. Hanus. Declarative Programming with Function Patterns. In Proceedings of the International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), pp. 6-22. Springer LNCS 3901, 2005.
4. C. Brabrand, A. Møller, M. Ricky, and M.I. Schwartzbach. Power-Forms: Declarative Client-side Form Field Validation. World Wide Web Journal, Vol. 3, No. 4, pp. 205-214, 2000.
5. C. Brabrand, A. Møller, and M.I. Schwartzbach. The 〈bigwig〉 Project. ACM Transactions on Internet Technology, Vol. 2, No. 2, pp. 79-114, 2002.
6. B. Braßel, M. Hanus, and F. Huch. Encapsulating Non-Determinism in Functional Logic Computations. Journal of Functional and Logic Programming, Vol. 2004, No. 6, 2004.
7. D. Cabeza and M. Hermenegildo. Internet and WWW Programming using Computational Logic Systems. In Workshop on Logic Programming and the Internet, 1996. See also http://clip.dia.fi.upm.es/Software/pillow/.
8. S. Fischer. A Functional Logic Database Library. In Proc. of the ACM SIGPLAN 2005 Workshop on Curry and Functional Logic Programming (WCFLP 2005), pp. 54-59. ACM Press, 2005.
9. M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19&20, pp. 583-628, 1994.
10. M. Hanus. A Unified Computation Model for Functional and Logic Programming. In Proc. of the 24th ACM Symposium on Principles of Programming Languages (Paris), pp. 80-93, 1997.
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), pp. 76-92. Springer LNCS 1990, 2001.
12. M. Hanus. Dynamic Predicates in Functional Logic Programs. Journal of Functional and Logic Programming, Vol. 2004, No. 5, 2004.
13. M. Hanus, S. Antoy, B. Braßel, M. Engelke, K. Höppner, J. Koj, P. Niederau, R. Sadre, and F. Steiner. PAKCS: The Portland Aachen Kiel Curry System. Available at http://www.informatik.uni-kiel.de/~pakcs/, 2006.
14. M. Hanus and F. Huch. An Open System to Support Web-based Learning. In Proc. 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), pp. 269-282. Technical Report DSIC-II/13/03, Universidad Politécnica de Valencia, 2003.
15. M. Hanus (ed.). Curry: An Integrated Functional Logic Language (Vers. 0.8.2). Available at http://www.informatik.uni-kiel.de/~curry, 2006.
16. S.H. Huseby. Innocent Code: A Security Wake-Up Call for Web Programmers. Wiley, 2003.
17. G. Krasner and S. Pope. A Cookbook for using the Model-View-Controller User Interface in Smalltalk-80. Journal of Object-Oriented Programming, Vol. 1, No. 3, pp. 26-49, 1988.
18. D.A. Ladd and J.C. Ramming. Programming the Web: An Application-Oriented Language for Hypermedia Services. In 4th International World Wide Web Conference, 1995.
19. E. Meijer. Server Side Web Scripting in Haskell. Journal of Functional Programming, Vol. 10, No. 1, pp. 1-18, 2000.
20. S. Peyton Jones, editor. Haskell 98 Language and Libraries - The Revised Report. Cambridge University Press, 2003.
21. R. Plasmeijer and P. Achten. The Implementation of iData -A Case Study in Generic Programming. In Proc. of the 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005). Trinity College, University of Dublin, Technical Report TCD-CS-2005-60, 2005.
22. A. Sandholm and M.I. Schwartzbach. A Type System for Dynamic Web Documents. In Proc. of the 27th ACM Symposium on Principles of Programming Languages, pp. 290-301, 2000.
23. P. Thiemann. Modelling HTML in Haskell. In International Workshop on Practical Aspects of Declarative Languages (PADL'00), pp. 263-277. Springer LNCS 1753, 2000.
24. P. Thiemann. WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. In 4th International Symposium on Practical Aspects of Declarative Languages (PADL 2002), pp. 192-208. Springer LNCS 2257, 2002.
25. P. Wadler. How to Declare an Imperative. ACM Computing Surveys, Vol. 29, No. 3, pp. 240-263, 1997.
26. P. Wadler and S. Blott. How to make ad-hoc polymorphism less ad hoc. In Proc. POPL'89, pp. 60-76, 1989.