Hostname: page-component-5b777bbd6c-gcwzt Total loading time: 0 Render date: 2025-06-16T20:40:05.104Z Has data issue: false hasContentIssue false
  • English
  • Français

A typed representation for HTML and XML documents in Haskell

Published online by Cambridge University Press:  08 July 2003

PETER THIEMANN
PETER THIEMANN
Affiliation:
Universität Freiburg, Germany (e-mail: thiemann@informatik.uni-freiburg.de)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as a combinator library in Haskell. The generated HTML/XML documents are guaranteed to be well-formed. In addition, each library can guarantee that the generated documents are valid XML documents to a certain extent (for HTML only a weaker guarantee is possible). On top of the libraries, Haskell serves as a meta language to define parameterized documents, to map structured documents to HTML/XML, to define conditional content, or to define entire web sites. The combinator libraries support element-transforming style, a programming style that allows programs to have a visual appearance similar to HTML/XML documents, without modifying the syntax of Haskell.

Type
Research Article
Information
Journal of Functional Programming , Volume 12 , Issue 4-5 , July 2002 , pp. 435 - 468
Copyright
© 2002 Cambridge University Press
Submit a response

Discussions

No Discussions have been published for this article.