Modeling HTML in haskell

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

Volumn 1753, Issue , 2000, Pages 263-277

  Thiemann, Peter ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

Embedded domain specific language; Functional programming; HTML; Type classes

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; HTML; PROBLEM ORIENTED LANGUAGES;

COMBINATOR LIBRARY; EMBEDDED DOMAIN SPECIFIC LANGUAGES; EXTRACT INFORMATIONS; HASKELL; META LANGUAGE; STRUCTURED DOCUMENT; TYPE CLASS; TYPE SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 84957808191     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46584-7_18     Document Type: Conference Paper

References (30)

1. Per Bjesse, Koen Claessen, Mary Sheeran, and Satnam Singh. Lava: Hardware design in Haskell. In Paul Hudak, editor, Proc. International Conference on Functional Programming 1998, pages 174-184, Baltimore, USA, September 1998. ACM Press, New York.
2. Tim Bray, Jean Paoli, and C.M. Sperberg-MacQueen. Extensible markup language (xml) 1.0 (w3c recommendation). http://www.w3.org/TR/REC-xml, feb 1998.
3. Daniel Cabeza and Manuel Hermenegildo. Www programming using computational logic systems (and the PiLLoW/CIAO library). http://www.clip.dia.fi.upm.es/Software/pillow/pillow\_www6/pillow\_www6.h%tml, March 1997.
4. Allaire Corp. HomeSite. http://www.allaire.com/.
5. Ralf S. Engelschall. Website meta language (wml). http://www.engelschall.com/sw/wml/.
6. Haskell98, a non-strict, purely functional language. http://www.haskell.org, December 1998.
7. John E. Hopcroft and Jeffrey D. Ullman. Introduction to automata theory, languages and computation. Addison-Wesley, 1979.
8. John Hughes. Generalising monads to arrows. Science of Computer Programming, 1999. To appear.
9. SoftQuad Software Inc. HoTMetaL. http://www.softquad.com/.
10. Mark P. Jones. A theory of qualified types. In Bernd Krieg-Brückner, editor, Proc. 4th European Symposium on Programming '92, volume 582 of Lecture Notes in Computer Science, pages 287-306, Rennes, France, February 1992. Springer-Verlag.
11. Mark P. Jones. Gofer, Functional Programming Environment, June 1994. Version 2.30.
12. Mark P. Jones. Hugs Online | embracing functional programming. http://www.haskell.org/hugs/, June 1999.
13. Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In Proc. 22nd Annual ACM Symposium on Principles of Programming Languages, pages 333-343, San Francisco, CA, January 1995. ACM Press.
14. Seng Wai Loke and Andrew Davison. Logic programming with the World-Wide Web. pages 235-245, Washington DC, USA, mar 1996.
15. Konstantin Läufer. Type classes with existential types. Journal of Functional Programming, 6(3):485-517, May 1996.
16. Konstantin Läufer and Martin Odersky. An extension of ML with first-class abstract types. In Proc. ACM SIGPLAN Workshop on ML and its Applications, pages 78-91, San Francisco, CA, June 1992.
17. John Matthews, John Launchbury, and Byron Cook. Microprocessor specification in Hawk. In IEEE International Conference on Computer Languages, ICCL 1998, Chicago, USA, May 1998. IEEE Computer Society Press.
18. Erik Meijer. Server-side web scripting with Haskell. Journal of Functional Pro- gramming, 1999. To appear.
19. Microsoft. Microsoft Frontpage98. http://www.microsoft.com/frontpage.
20. NetObjects Fusion. http://www.netobjects.com.
21. J. K. OusterHout. Tcl and the Tk Toolkit. Addison-Wesley, 1994.
22. PC Magazine. Web authoring tools. http://www.zdnet.com/pcmag/features/htmlauthor/\_open.htm, January 20 1998.
23. John Punin and Mukkai Krishnamoorthy. ASHE (a simple HTML editor) - xhtml. http://www.cs.rpi.edu/~puninj/ASHE/, November 1996.
24. Didier Rémy. Typing record concatenation for free. In Proc. 19th Annual ACM Symposium on Principles of Programming Languages, pages 166-176, Albuquerque, New Mexico, January 1992. ACM Press.
25. Internet Software Technologies. HTMLed Pro32. http://www.ist.ca.
26. Texinfo. http://texinfo.org.
27. Ton Vullinghs, Wolfram Schulte, and Thilo Schwinn. The design of a functional GUI library using constructor classes. In PSI-96: Andrei Ershov Second Inter- national Memorial Conference, Perspectives of System Informatics, volume 1181 of Lecture Notes in Computer Science, pages 398-408, Novosibirsk, Russia, June 1996. Springer-Verlag.
28. Ton Vullinghs, Daniel Tuijnman, and Wolfram Schulte. Lightweight GUIs for functional programming. In Doaitse Swierstra and Manuel Hermenegildo, editors, International Symposium on Programming Languages, Implementations, Logics and Programs (PLILP '95), volume 982 of Lecture Notes in Computer Science, pages 341-356, Utrecht, The Netherlands, September 1995. Springer-Verlag.
29. A Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? pages 148-259.
30. Mitchell Wand. Type inference for record concatenation and multiple inheritance. In Proc. of the 4th Annual Symposium on Logic in Computer Science, pages 92-97, Pacific Grove, CA, June 1989. IEEE Computer Society Press. To appear in Information and Computation