MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Inferring Type Isomorphisms Generically (0) [10 citations — 6 self]

by Frank Atanassow ,  Johan Jeuring
Proceedings of the 7th International Conference on Mathematics of Program Construction, MPC 2004, volume 3125 of LNCS
Add To MetaCart

Abstract:

Datatypes which di#er inessentially in their names and structure are said to be isomorphic; for example, a ternary product is isomorphic to a nested pair of binary products. In some canonical cases, the conversion function is uniquely determined solely by the two types involved.

Citations

608 A survey of approaches to automatic schema matching – Rahm, Bernstein
505 D.: The Definition of Standard ML (Revised – Milner, Tofte, et al. - 1997
123 Categories for the working mathematician, volume 5 of Graduate Texts – Lane
116 XDuce: A typed XML processing language – Hosoya, Pierce - 2000
93 Haskell 98 – A non-strict, purely functional language. Available at http://www.haskell.org/onlinereport – Jones, S - 1999
55 Exploring Generic Haskell – Löh - 2004
54 Regular object types – Gapeyev, Pierce - 2003
48 The Essence of XML – Siméon, Wadler - 2003
47 XML: Generic combinators or type-based translation – Haskell - 1999
43 Type-indexed data types – Hinze, Jeuring, et al.
42 XMλ - A Functional Language for Constructing and Manipulating XML Documents – Meijer, Shields - 2000
38 Provable isomorphisms of types – Bruce, Cosmo, et al. - 1992
37 A typed representation for HTML and XML documents in Haskell – Thiemann
32 Natural associativity and commutativity – Lane - 1963
29 MSL a model for W3C XML Schema – Brown, Fuchs, et al. - 2001
29 Type-indexed rows – SHIELDS, E
24 Retrieving library identifiers via equational matching of types – Rittri - 1990
23 Representable multicategories – Hermida - 2000
16 Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids – Beylin, Dybjer - 1995
15 Scripting XML with Generic Haskell – Atanassow, Clarke, et al. - 2003
15 Higher Operads, Higher Categories – Leinster - 2004
15 Retrieving library functions by unifying types modulo linear isomorphism – Rittri - 1993
14 Isomorphisms of types: from lambda-calculus to information retrieval and language design. Birkhauser – Cosmo - 1995
14 Operads in Higher-Dimensional Category Theory – Leinster - 2000
14 A complete axiom system for isomorphism of types in closed categories – Soloviev - 1993
13 Type-based XML processing in logic programming – Coelho, Florido - 2003
10 How to repair type errors automatically – McAdam - 2001
10 Coercive type isomorphism – Thatte - 1991
9 A linear logical view of linear type isomorphisms – Balat, Cosmo - 1999
9 Java & XML data binding – McLaughlin - 2003
8 XML data binding – Metz, Brookes - 2003
4 et al. The Objective Caml system release 3.07, Documentation and user’s manual, December 2003. Available from http://caml.inria.fr/ocaml/ htmlman – Leroy - 2003
3 Xml data bindings in python, parts 1 – Ogbuji
View or Download | Add to My Collection | Correct Errors