Towards a guaranteed (X)HTML compliant dynamic web application

Paul G. Talaga, Steve J. Chapin

Research output: Chapter in Book/Entry/PoemConference contribution

2 Scopus citations


We report on the embedding of a domain specific language, (X)HTML, into Haskell and demonstrate how this web language can be represented and rendered for strong World Wide Web Consortium (W3C) compliance. Compliance of web content is important for the health of the Internet, accessibility, visibility, and reliable search. While tools exist to verify web content is compliant according to the W3C, few systems guarantee that all dynamically produced content is compliant. We present CH-(X)HTML, a library for generating compliant (X)HTML content for all dynamic content by using Haskell to encode the non-trivial syntax of (X)HTML set forth by the W3C. Any compliant document can be represented with this library, while a compilation or run-time error will occur if non-compliant markup is attempted. To demonstrate our library we present examples, performance measurements, and a discussion of library version considerations.

Original languageEnglish (US)
Title of host publicationWeb Information Systems and Technologies - 7th International Conference, WEBIST 2011, Revised Selected Papers
PublisherSpringer Verlag
Number of pages13
ISBN (Print)9783642280818
StatePublished - 2012
Event7th International Conference on Web Information Systems and Technologies, WEBIST 2011 - Noordwijkerhout, Netherlands
Duration: May 6 2011May 9 2011

Publication series

NameLecture Notes in Business Information Processing
Volume101 LNBIP
ISSN (Print)1865-1348


Other7th International Conference on Web Information Systems and Technologies, WEBIST 2011


  • HTML
  • Haskell
  • W3C Compliance
  • Web Development
  • XML

ASJC Scopus subject areas

  • Management Information Systems
  • Control and Systems Engineering
  • Business and International Management
  • Information Systems
  • Modeling and Simulation
  • Information Systems and Management


Dive into the research topics of 'Towards a guaranteed (X)HTML compliant dynamic web application'. Together they form a unique fingerprint.

Cite this