A typed representation for HTML and XML documents in Haskell
作者： PETER THIEMANN
DOI: 10.1017/S0956796802004392
关键词:
摘要: We define a family of embedded domain specific languages for generating HTML and XML documents. Each language is implemented as combinator library in Haskell. The generated HTMLF;XML documents are guaranteed to be well-formed. In addition, each can guarantee that the valid certain extent (for only weaker possible). On top libraries, Haskell serves meta parameterized documents, map structured HTMLF;XML, conditional content, or entire web sites. libraries support element-transforming style, programming style allows programs have visual appearance similar without modifying syntax
sci-hub.se 参考文章(24)
Ralf Hinze, Haskell 98 — A Non−strict‚ Purely Functional Language ,(1999)
Daniel Cabeza, Manuel Hermenegildo, S Varma, WWW Programming using computational logic systems (and the PiLLoW/Ciao library) Proceedings of the Workshop on Logic Programming and the WWW at WWW6 | Workshop on Logic Programming and the WWW at WWW6 | April 1997 | San Francisco, CA. ,(1997)
Philip Wadler, Jérôme Siméon, Mary F. Fernandez, A Semi-monad for Semi-structured Data international conference on database theory. pp. 263- 300 ,(2001)
Peter Mataga, David Atkins, Michael Benedikt, Kenneth Rehor, Thomas Ball, Glenn Bruns, Kenneth Cox, Experience with a domain specific language for form-based services conference on domain specific languages. pp. 4- 4 ,(1997)
Mark P. Jones, Type Classes with Functional Dependencies european symposium on programming. pp. 230- 244 ,(2000) , 10.1007/3-540-46425-5_15
Tim Bray, Jean Paoli, C. M. Sperberg-McQueen, Extensible markup language World Wide Web. ,vol. 2, pp. 29- 66 ,(1997) , 10.5555/274784.273625
Haruo Hosoya, Benjamin C. Pierce, XDuce: A Typed XML Processing Language (Preliminary Report) international workshop on the web and databases. pp. 226- 244 ,(2000) , 10.1007/3-540-45271-0_15
Mark Shields, Erik Meijer, Type-indexed rows Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '01. ,vol. 36, pp. 261- 275 ,(2001) , 10.1145/360204.360230
Rajeev Motwani, John E. Hopcroft, Jeffrey D. Ullman, Rotwani, Introduction to Automata Theory, Languages, and Computation ,(1979)
ERIK MEIJER, Server side web scripting in Haskell Journal of Functional Programming. ,vol. 10, pp. 1- 18 ,(2000) , 10.1017/S0956796899003561