Inferring type isomorphisms generically

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

Volumn 3125, Issue , 2004, Pages 32-53

  Atanassow, Frank ^a   Jeuring, Johan ^a  

^a UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

BINS;

ALGEBRAIC THEORIES; BINARY PRODUCTS; CONVERSION FUNCTION; DATA BINDING; DATATYPES; EMBEDDINGS; TYPE-SAFE LANGUAGES; XML SCHEMAS;

SET THEORY;

EID: 33644925964     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27764-4_4     Document Type: Article

References (37)

1. Frank Atanassow, Dave Clarke, and Johan Jeuring. Scripting XML with Generic Haskell. In Proc. 7th Brazilian Symposium on Programming Languages, 2003. See also Utrecht University technical report UU-CS-2003.
2. Vincent Balat and Roberto Di Cosmo. A linear logical view of linear type isomorphisms. In CSL, pages 250-265, 1999.
3. Ilya Beylin and Peter Dybjer. Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. In TYPES, pages 47-61, 1995.
4. Allen Brown, Matthew Fuchs, Jonathan Robie, and Philip Wadler. MSL: A model for W3C XML Schema. In Proc. WWW 10, May 2001.
5. Kim B. Bruce, Roberto Di Cosmo, and Giuseppe Longo. Provable isomorphisms of types. Mathematical Structures in Computer Science, 2(2):231-247, 1992.
6. Sophie Cluet and Jérôme Siméon. YATL: a functional and declarative language for XML, 2000.
7. Jorge Coelho and Mário Florido. Type-based XML processing in logic programming. In PADL 2003, pages 273-285, 2003.
8. Roberto Di Cosmo. Isomorphisms of Types: From lambda-calculus to Information Retrieval and Language Design. Birkhäuser, 1995.
9. Vladimir Gapeyev and Benjamin C. Pierce. Regular object types. In European Conference on Object-oriented Programming (ECOOP 2003), 2003.
10. C. Hermida. Representable multicategories. Advances in Mathematics, 151:164-225, 2000.
11. Ralf Hinze, Johan Jeuring, and Andres Loh. Type-indexed data types. In Proceedings of the 6th Mathematics of Program Construction Conference, MPC'02, volume 2386 of LNCS, pages 148-174, 2002.
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. Oleg Kiselyov and Shriram Krishnamurti. SXSLT: manipulation language for XML. In PADL 2003, pages 226-272, 2003.
14. Thomas S.H. Leinster. Operads in Higher-Dimensional Category Theory. PhD thesis, Trinity College and St John's College, Cambridge, 2000.
15. Tom Leinster. Higher Operads, Higher Categories. Cambridge University Press, 2003.
16. Xavier Leroy et al. The Objective Caml system release 3.07, Documentation and user's manual, December 2003. Available from http://caml.inria.fr/ocaml/ htmlman/.
17. Andres Löh, Dave Clarke, and Johan Jeuring. Dependency-style Generic Haskell. In Proceedings of the International Conference on Functional Programming (ICFP '03), August 2003.
18. Saunders Mac Lane. Natural associativity and commutativity. Rice University Studies, 49:28-46, 1963.
19. Saunders Mac Lane. Categories for the Working Mathematician, volume 5 of Graduate Texts in Mathematics. Springer-Verlag, New York, 2nd edition, 1997. (1st ed., 1971).
20. Bruce McAdam. How to repair type errors automatically. In Trends in Functional Programming (Proc. Scottish Functional Programming Workshop), volume 3, 2001.
21. Brett McLaughlin. Java & XML data binding. O'Reilly, 2003.
22. Erik Meijer and Mark Shields. XMLambda: A functional language for constructing and manipulating XML documents. Available from http://www.cse.ogi. edu/ -mbs/, 1999.
23. Eldon Metz and Allen Brookes. XML data binding. Dr. Dobb's Journal, pages 26-36, March 2003.
24. Sun Microsystems. Java Architecture for XML Binding (JAXB). http://java. sun.com/xml/jaxb/, 2003.
25. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Definition of Standard ML (Revised). MIT Press, May 1997.
26. 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.
27. Simon Peyton Jones, John Hughes, et al. Haskell 98 - A non-strict, purely functional language. Available from http://haskell.org, February 1999.
28. Erhard Rahm and Philip A. Bernstein. A survey of approaches to automatic schema matching. VLDB Journal: Very Large Data Bases, 10(4):334-350, 2001.
29. Mikael Rittri. Retrieving library identifiers via equational matching of types. In Conference on Automated Deduction, pages 603-617, 1990.
30. Mikael Rittri. Retrieving library functions by unifying types modulo linear isomorphism. Informatique Theorique et Applications, 27(6):523-540, 1993.
31. 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/.
32. Jerome Simeon and Philip Wadler. The essence of XML. In Proc. POPL 2003, 2003.
33. Sergei Soloviev. A complete axiom system for isomorphism of types in closed categories. In A. Voronkov, editor, Proceedings 4th Int. Conf. on Logic Programming and Automated Reasoning, LPAR'93, St. Petersburg, Russia, 13-20 July 1993, volume 698, pages 360-371. Springer-Verlag, Berlin, 1993.
34. Satish R. Thatte. Coercive type isomorphism. In Proceedings of the 5th ACM conference on Functional programming languages and computer architecture, volume 523 of LNCS, pages 29-49. Springer-Verlag New York, Inc., 1991.
35. Peter Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4&5):435-468, July 2002.
36. W3C. XSL Transformations 1.0. http://www.w3.org/TR/xs1t, 1999.
37. Malcolm Wallace and Colin Runciman. Haskell and XML: Generic combinators or type-based translation? In International Conference on Functional Programming, pages 148-159, 1999.