UUXML: A type-preserving XML schema–haskell data binding

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3057, Issue , 2004, Pages 71-85

  Atanassow, Frank ^a   Clarke, Dave ^a,b   Jeuring, Johan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

^b CWI   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL METHODS; PROGRAM TRANSLATORS; SEMANTICS; TRANSLATION (LANGUAGES);

DATA BINDING; FORMAL SEMANTICS; HASKELL; XML DATA; XML SCHEMAS;

XML;

EID: 84974728209     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24836-1_6     Document Type: Conference Paper

References (29)

1. Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. Technical Report UU-CS-2003, Utrecht University, 2003.
2. Frank Atanassow and Johan Jeuring. Inferring type isomorphisms generically. To appear in Proc. MPC ’04.
3. A.I. Baars, A. Löh, and S.D. Swierstra. Parsing permutation phrases. In R. Hinze, editor, Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pages 171-182. Elsevier, 2001.
4. Allen Brown, Matthew Fuchs, Jonathan Robie, and Philip Wadler. MSL: A model for W3C XML Schema. In Proc. WWW10, May 2001.
5. Sophie Cluet and JérÔme Siméon. YATL: a functional and declarative language for XML, 2000.
6. Jorge Coelho and Mário Florido. Type-based XML processing in logic programming. In PADL 2003, pages 273-285, 2003.
7. Peter Flynn. Understanding SGML and XML Tools. Kluwer Academic Publishers, 1998.
8. Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003), 2003.
9. Lars M. Garshol. Free XML tools and software. Available from http://www.garshol.priv.no/download/xmltools/.
10. Google. Web Directory on XML tools. http://www.google.com/.
11. Ralf Hinze and Johan Jeuring. Generic Haskell: practice and theory, 2003. To appear.
12. Haruo Hosoya and Benjamin C. Pierce. XDuce: A typed XML processing language. In Third International Workshop on the Web and Databases (WebDB), volume 1997 of Lecture Notes in Computer Science, pages 226-244, 2000.
13. Graham Hutton and Erik Meijer. Monadic parser combinators. Journal of Functional Programming, 8(4):437-444, 1996.
14. Oleg Kiselyov and Shriram Krishnamurti. SXSLT: manipulation language for XML. In PADL 2003, pages 226-272, 2003.
15. Daan Leijen and Erik Meijer. Domain specific embedded compilers. In Second USENIX Conference on Domain Specific Languages (DSL’99), pages 109-122, Austin, Texas, October 1999. USENIX Association. Also appeared in ACM SIGPLAN Notices 35, 1, (Jan. 2000).
16. Brett McLaughlin. Java & XML data binding. O’Reilly, 2003.
17. Erik Meijer and Mark Shields. XMLambda: A functional language for constructing and manipulating XML documents. Available from http://www.cse.ogi.edu/˜mbs/, 1999.
18. Eldon Metz and Allen Brookes. XML data binding. Dr. Dobb’s Journal, pages 26-36, March 2003.
19. OASIS. RELAX NG. http://www.relaxng.org, 2001.
20. Mark Shields and Erik Meijer. Type-indexed rows. In The 28th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 261-275, 2001. Also available from http://www.cse.ogi.edu/˜mbs/.
21. Jérôme Siméon and Philip Wadler. The essence of XML. In Proc. POPL 2003, 2003.
22. Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435-468, July 2002.
23. W3C. XML 1.0. http://www.w3.org/XML/, 1998.
24. W3C. XSL Transformations 1.0. http://www.w3.org/TR/xslt, 1999.
25. W3C. XML Schema: Formal description. http://www.w3.org/TR/xmlschema-formal, 2001.
26. W3C. XML Schema part 0: Primer. http://www.w3.org/TR/xmlschema-0, 2001.
27. W3C. XML Schema part 1: Structures. http://www.w3.org/TR/xmlschema-1, 2001.
28. W3C. XML Schema part 2: Datatypes. http://www.w3.org/TR/xmlschema-2, 2001.
29. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, pages 148-159, 1999.