Customizing an XML-Haskell data binding with type isomorphism inference in Generic Haskell

Science of Computer Programming

Volumn 65, Issue 2, 2007, Pages 72-107

  Atanassow, Frank ^a   Jeuring, Johan ^b,c  

^a CWI   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

^c OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

Author keywords

Generic Haskell; Generic programming; Isomorphisms; Polytypic programming; XML Schema

Indexed keywords

COMPUTER PROGRAMMING; DATA PROCESSING; MATHEMATICAL MODELS; MATRIX ALGEBRA;

GENERIC PROGRAMMING; ISOMORPHISM; POLYTYPIC PROGRAMMING; XML SCHEMA;

XML;

EID: 33846861057     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2006.01.005     Document Type: Article

References (54)

1. Frank Atanassow, Dave Clarke, Johan Jeuring, Scripting XML with Generic Haskell, Technical Report UU-CS-2003-023, Utrecht University, 2003
2. Frank Atanassow, Dave Clarke, Johan Jeuring, Scripting XML with Generic Haskell, in: Proc. 7th Brazilian Symposium on Programming Languages, 2003
3. Atanassow F., Clarke D., and Jeuring J. UUXML: A type-preserving XML Schema-Haskell data binding. In: Jayaraman B. (Ed). Proceedings 6th International Symposium on Practical Aspects of Declarative Languages. PADL'04. LNCS vol. 3057 (2004), Springer-Verlag 71-85
4. Atanassow F., and Jeuring J. Inferring type isomorphisms generically. In: Kozen D. (Ed). Proceedings of the 7th International Conference on Mathematics of Program Construction. MPC'04. LNCS vol. 3125 (2004), Springer-Verlag 32-53
5. Baars A.I., Löh A., and Swierstra S.D. Parsing permutation phrases. In: Hinze R. (Ed). Proceedings of the 2001 ACM SIGPLAN Haskell Workshop (2001), Elsevier 171-182
6. Vincent Balat, Roberto Di Cosmo, A linear logical view of linear type isomorphisms, in: CSL, 1999, pp. 250-265
7. Benzaken V., Castagna G., and Frisch A. CDuce: An XML-centric general-purpose language. Proceedings of 2003 ACM SIGPLAN International Conference on Functional Programming (2003), ACM Press
8. Ilya Beylin, Peter Dybjer, Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids, in: TYPES, 1995, pp. 47-61
9. Allen Brown, Matthew Fuchs, Jonathan Robie, Philip Wadler, MSL: A model for W3C XML Schema, in: Proc. WWW10, May 2001
10. Bruce K.~B., Di Cosmo R., and Longo G. Provable isomorphisms of types. Mathematical Structures in Computer Science 2 2 (1992) 231-247
11. Jorge Coelho, Mário Florido, Type-based XML processing in logic programming, in: PADL 2003, 2003, pp. 273-285
12. Di Cosmo R. Isomorphisms of Types: From Lambda-Calculus to Information Retrieval and Language Design (1995), Birkhäuser
13. Erwig M. Toward the automatic derivation of XML transformations. 1st Int. Workshop on XML Schema and Data Management. XSDM'03. LNCS vol. 2814 (2003) 342-354
14. Vladimir Gapeyev, Benjamin C. Pierce, Regular object types, in: European Conference on Object-oriented Programming, ECOOP 2003, 2003
15. Hermida C. Representable multicategories. Advances in Mathematics 151 (2000) 164-225
16. Hinze R., and Jeuring J. Generic Haskell: Practice and theory. Generic Programming, Advanced Lectures. LNCS vol. 2793 (2003), Springer-Verlag 1-56
17. Hinze R., Jeuring J., and Löh A. Type-indexed data types. Proceedings of the 6th Mathematics of Program Construction Conference. MPC'02. LNCS vol. 2386 (2002) 148-174
18. Haruo Hosoya, Benjamin C. Pierce, XDuce: A typed XML processing language, in: Third International Workshop on the Web and Databases, WebDB, in: Lecture Notes in Computer Science, vol. 1997, 2000, pp. 226-244
19. Hutton G., and Meijer E. Monadic parser combinators. Journal of Functional Programming 8 4 (1996) 437-444
20. Leijen D., and Meijer E. Domain specific embedded compilers. Second USENIX Conference on Domain Specific Languages. DSL'99 (1999), USENIX Association, Austin, Texas 109-122 Also appeared in
21. Leijen D., and Meijer E. Domain specific embedded compilers. ACM SIGPLAN Notices 35 1 (January 2000)
22. Thomas S.H. Leinster, Operads in higher-dimensional category theory, Ph.D. Thesis, Trinity College and St John's College, Cambridge, 2000
23. Leinster T. Higher Operads, Higher Categories (2003), Cambridge University Press
24. Xavier Leroy et al., The Objective Caml System Release 3.07, Documentation and User's Manual. Available from: http://caml.inria.fr/ocaml/htmlman/, December 2003
25. Andres Löh, Exploring generic Haskell, Ph.D. Thesis, Utrecht University, 2004
26. Andres Löh, Dave Clarke, Johan Jeuring, Dependency-style Generic Haskell, in: Proceedings of the International Conference on Functional Programming, ICFP'03, August 2003
27. Mac~Lane S. Natural associativity and commutativity. Rice University Studies 49 (1963) 28-46
28. Mac~Lane S. Categories for the Working Mathematician. 2nd edition. Graduate Texts in Mathematics vol.~5 (1997), Springer-Verlag, New York 1st ed., 1971
29. Bruce McAdam, How to repair type errors automatically, in: Trends in Functional Programming (Proc. Scottish Functional Programming Workshop), vol. 3, 2001
30. Meijer E., and Shields M. XMLambda: A functional language for constructing and manipulating XML documents. Available from: (1999). http://www.cse.ogi.edu/~mbs/
31. Metz E., and Brookes A. XML data binding. Dr. Dobb's Journal March (2003) 26-36
32. Milner R., Tofte M., Harper R., and MacQueen D. The Definition of Standard ML (Revised) (May 1997), MIT Press
33. OASIS. RELAX NG (2001). http://www.relaxng.org
34. Uche Ogbuji, XML data bindings in python, parts 1 & 2. xml.com, 2003. http://www.xml.com/pub/a/2003/06/11/py-xml.html
35. Uche Ogbuji, EaseXML: A Python data-binding tool. xml.com, 2005. http://www.xml.com/pub/a/2003/06/11/py-xml.html
36. Jones S.P., et al. Haskell 98, Language and Libraries. The Revised Report (2003), Cambridge University Press Journal of Functional Programming (special issue)
37. Pierce B.~C. Types and Programming Languages (2002), MIT Press, Cambridge
38. Rahm E., and Bernstein P.~A. A survey of approaches to automatic schema matching. VLDB Journal: Very Large Data Bases 10 4 (2001) 334-350
39. Mikael Rittri, Retrieving library identifiers via equational matching of types, in: Conference on Automated Deduction, 1990, pp. 603-617
40. Rittri M. Retrieving library functions by unifying types modulo linear isomorphism. Informatique Theorique et Applications 27 6 (1993) 523-540
41. Mark Shields, Erik Meijer, Type-indexed rows, in: The 28th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, 2001, pp. 261-275. Also available from: http://www.cse.ogi.edu/~mbs/
42. Sergei Soloviev, A complete axiom system for isomorphism of types in closed categories, in: A. Voronkov (Ed.), Proceedings 4th Int. Conf. on Logic Programming and Automated Reasoning, LPAR'93, St. Petersburg, Russia, 13-20 July 1993, vol. 698, Springer-Verlag, Berlin, 1993, pp. 360-371
43. Sun Microsystems. Java Architecture for XML Binding, JAXB (2003). http://java.sun.com/xml/jaxb/
44. Thatte S.~R. Coercive type isomorphism. Proceedings of the 5th ACM Conference on Functional Programming Languages and Computer Architecture. LNCS vol. 523 (1991), Springer-Verlag, New York, Inc 29-49
45. Thiemann P. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming 12 4-5 (2002) 435-468
46. W3C. XML 1.0 (1998). http://www.w3.org/XML/
47. W3C. XSL Transformations 1.0 (1999). http://www.w3.org/TR/xslt
48. W3C. XML Schema: Formal Description (2001). http://www.w3.org/TR/xmlschema-formal
49. W3C. XML Schema Part 0: Primer (2001). http://www.w3.org/TR/xmlschema-0
50. W3C. XML Schema Part 1: Structures (2001). http://www.w3.org/TR/xmlschema-1
51. W3C. XML Schema Part 2: Datatypes (2001). http://www.w3.org/TR/xmlschema-2
52. W3C. XML Information Set, second ed (2004). http://www.w3.org/TR/xml-infoset/
53. W3C. XQuery 1.0: An XML Query Language (2005). http://www.w3.org/TR/xquery/
54. Malcolm Wallace, Colin Runciman, Haskell and XML: Generic combinators or type-based translation? in: International Conference on Functional Programming, 1999, pp. 148-159