document: A typed representation for HTML and XML documents in Haskell 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 -LRB- for HTML only a weaker guarantee is possible -RRB- . 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
doc_bio_tags: O B I O O O B I O B O O O O O B I I I O O O O B I O O O O O O O B I O B O O O O O O O O O O O O O O O O O O O O O O O O B I O O O O O O O O O O O O O O O O O O O O O B O O O B I O O B I O O O O O O O O O O B I O O O O O B I O O O O O O O O O O O O O O O O O O O O O O O O O O O B O B
extractive_keyphrases: typed representation combinator library meta language parameterized documents conditional content web sites syntax xml documents haskell embedded domain specific languages
abstractive_keyphrases: html documents software libraries element-transforming style functional programming