|
 ABSTRACT
We present two complementary approaches to writing XML document-processing applications in a functional language.In the first approach, the generic tree structure of XML documents is used as the basis for the design of a library of combinators for generic processing: selection, generation, and transformation of XML trees.The second approach is to use a type-translation framework for treating XML document type definitions (DTDs) as declarations of algebraic data types, and a derivation of the corresponding functions for reading and writing documents as typed values in Haskell.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
Tim Bray, Jean Paoli, and C.M. Sperberg-Macqueen. Extensible Markup Language (XML) 1.0 (W3C Recommendation), http://wT~-~, w3. org/TR/REg-xml, W~ Consortium, February 1998.
|
| |
2
|
W H Burge. Recursive Programming Techniques. Addison-Wesley, 1975.
|
| |
3
|
James Clark (ed). XSL Transformations (Working Draft). http://~, w3. org/TR/WD-xslt, YVWW Consortium, April 1999.
|
| |
4
|
|
| |
5
|
Benedict ROaster. Records, Variants, and Qualified Types. Dept of Computer Science, University of Nottingham, PhD Thesis, 1998.
|
| |
6
|
|
| |
7
|
|
| |
8
|
|
| |
9
|
|
| |
10
|
|
| |
11
|
David A Turner. A new implementation technique for applicative languages. Software - Practice and Experience, 9(1):31-50, January 1979.
|
| |
12
|
Unknown. Document Style Semantics and Specification Language (DSSSL) (Final Draft). http://occam, sjf. novell, com/dsssl/dss s196/, Novell Publications, 1996.
|
 |
13
|
Eelco Visser , Zine-el-Abidine Benaissa , Andrew Tolmach, Building program optimizers with rewriting strategies, Proceedings of the third ACM SIGPLAN international conference on Functional programming, p.13-26, September 26-29, 1998, Baltimore, Maryland, United States
|
| |
14
|
|
| |
15
|
Philip Wadler. A formal model of pattern matching in XSL. Technical Report http://w~;w, cs. bell-labs, com/~wadler/xsl/, Bell Labs, January 1999.
|
| |
16
|
Noel Winstanley. Reflections on instance derivation. In 1997 Glasgow Functional Programming Workshop. BCS Workshops in Computer Science, September 1997.
|
CITED BY 31
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
André Pang , Don Stewart , Sean Seefried , Manuel M. T. Chakravarty, Plugging Haskell in, Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, September 22-22, 2004, Snowbird, Utah, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Shriram Krishnamurthi , Peter Walton Hopkins , Jay Mccarthy , Paul T. Graunke , Greg Pettyjohn , Matthias Felleisen, Implementation and use of the PLT scheme Web server, Higher-Order and Symbolic Computation, v.20 n.4, p.431-460, December 2007
|
|
|
|
|
|
|
|
|
Wim Van Lancker , Robbie De Sutter , Davy De Schrijver , Rik Van de Walle, A framework for transformations of XML within the binary domain, Proceedings of the 24th IASTED international conference on Internet and multimedia systems and applications, p.29-34, February 13-15, 2006, Innsbruck, Austria
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sven Groppe , Jana Neumann , Volker Linnemann, SWOBE - embedding the semantic web languages RDF, SPARQL and SPARUL into java for guaranteeing type safety, for checking the satisfiability of queries and for the determination of query result types, Proceedings of the 2009 ACM symposium on Applied Computing, March 08-12, 2009, Honolulu, Hawaii
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
F.3