Declarative programming of user interfaces

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

Volumn 5418 LNCS, Issue , 2009, Pages 16-30

  Hanus, Michael ^a   Kluß, Christof ^a  

^a UNIVERSITY OF KIEL   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL PROGRAMMING; HIGH LEVEL LANGUAGES; WEB BROWSERS;

DECLARATIVE DESCRIPTIONS; DECLARATIVE PROGRAMMING; DESKTOP APPLICATIONS; INTERFACE TECHNOLOGY; MULTI-PARADIGM PROGRAMMING; WEB USER INTERFACE;

GRAPHICAL USER INTERFACES;

EID: 69049114934     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-92995-6_2     Document Type: Conference Paper

References (27)

1. Antoy, S., Echahed, R., Hanus,M.: A Needed Narrowing Strategy. Journal of the ACM47(4), 776-822 (2000)
2. Antoy, S., Hanus, M.: Functional Logic Design Patterns. In: Hu, Z., Rodríguez-Artalejo, M. (eds.) FLOPS 2002. LNCS, vol. 2441, pp. 67-87. Springer, Heidelberg (2002)
3. Braßel, B., Hanus, M., Müller, M.: High-Level Database Programming in Curry. In: Hudak, P., Warren, D.S. (eds.) PADL 2008. LNCS, vol. 4902, pp. 316-332. Springer, Heidelberg (2008)
4. Cabeza, D., Hermenegildo, M.: Internet and WWW Programming using Computational Logic Systems. In: Workshop on Logic Programming and the Internet (1996), http://clip.dia.fi.upm.es/Software/pillow/
5. Claessen, K., Vullinghs, T., Meijer, E.: Structuring graphical paradigms in TkGofer. In: Proc. of the International Conference on Functional Programming (ICFP 1997), vol. 32(8), pp. 251-262. ACM SIGPLAN Notices (1997)
6. Fischer, S.: 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, New York (2005)
7. Garrett, J.J.: Ajax: A New Approach to Web Applications (2005), http://AdaptivePath.com
8. Hanus, M.: 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)
9. Hanus, M.: A Functional Logic Programming Approach to Graphical User Interfaces. In: Pontelli, E., Santos Costa, V. (eds.) PADL 2000. LNCS, vol. 1753, pp. 47-62. Springer, Heidelberg (2000)
10. Hanus, M.: High-level server side web scripting in curry. In: Ramakrishnan, I.V. (ed.) PADL 2001. LNCS, vol. 1990, pp. 76-92. Springer, Heidelberg (2001)
11. Hanus,M.: CurryBrowser: A Generic Analysis Environment for Curry Programs. In: Proc. of the 16th Workshop on Logic-based Methods in Programming Environments (WLPE 2006), pp. 61-74 (2006)
12. Hanus, M.: Type-Oriented Construction of Web User Interfaces. In: Proceedings of the 8th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2006), pp. 27-38. ACM Press, New York (2006)
13. Hanus, M.: Multi-paradigm Declarative Languages. In: Dahl, V., Niemelä, I. (eds.) ICLP 2007. LNCS, vol. 4670, pp. 45-75. Springer, Heidelberg (2007)
14. Hanus, M.: Putting Declarative Programming into the Web: Translating Curry to JavaScript. In: Proceedings of the 9th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming (PPDP 2007), pp. 155-166. ACM Press, New York (2007)
15. Hanus, M., Antoy, S., Braßel, B., Engelke, M., Höppner, K., Koj, J., Niederau, P., Sadre, R., Steiner, F.: PAKCS: The Portland Aachen Kiel Curry System (2008), http://www.informatik.uni-kiel.de/̃pakcs/
16. Hanus,M., Koj, J.: An Integrated Development Environment for DeclarativeMulti-Paradigm Programming. In: Proc. of the International Workshop on Logic Programming Environments (WLPE 2001), pp. 1-14, Paphos, Cyprus (2001); Computing Research Repository (CoRR), http://arXiv.org/abs/cs.PL/0111039
17. Hanus, M. (ed.): Curry: An Integrated Functional Logic Language (Vers. 0.8.2) (2006), http://www.curry-language.org
18. Leijen, D.: wxHaskell - A portable and concise GUI library for Haskell. In: Proceedings of the 2004 ACM SIGPLANWorkshop on Haskell, pp. 57-68. ACM Press, New York (2004)
19. López-Fraguas, F., Sánchez-Hernández, J.: TOY: A Multiparadigm Declarative System. In: Narendran, P., Rusinowitch, M. (eds.) RTA 1999. LNCS, vol. 1631, pp. 244-247. Springer, Heidelberg (1999)
20. Meijer, E.: Server Side Web Scripting in Haskell. Journal of Functional Programming 10(1), 1-18 (2000)
21. Ousterhout, J.K.: Tcl and the Tk toolkit. Addison-Wesley, Reading (1994)
22. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries-The Revised Report. Cambridge University Press, Cambridge (2003)
23. Sadeghi, P.H., Huch, F.: The Interactive Curry Observation Debugger iCODE. Electronic Notes in Theoretical Computer Science, vol. 177, pp. 107-122 (2007)
24. Sage, M.: FranTk - a declarative GUI language for Haskell. In: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming (ICFP 2000), pp. 106-117. ACM Press, New York (2000)
25. Thiemann, P.: WASH/CGI: Server-side Web Scripting with Sessions and Typed, Compositional Forms. In: Krishnamurthi, S., Ramakrishnan, C.R. (eds.) PADL 2002. LNCS, vol. 2257, pp. 192-208. Springer, Heidelberg (2002)
26. Vullinghs, T., Tuijnman, D., Schulte, W.: Lightweight GUIs for Functional Programming. In: Swierstra, S.D. (ed.) PLILP 1995. LNCS, vol. 982, pp. 341-356. Springer, Heidelberg (1995)
27. Wadler, P.: How to Declare an Imperative. ACM Computing Surveys 29(3), 240-263 (1997)