{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T21:35:08Z","timestamp":1762032908777},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540223801"},{"type":"electronic","value":"9783540277644"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27764-4_4","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T19:25:20Z","timestamp":1284578720000},"page":"32-53","source":"Crossref","is-referenced-by-count":9,"title":["Inferring Type Isomorphisms Generically"],"prefix":"10.1007","author":[{"given":"Frank","family":"Atanassow","sequence":"first","affiliation":[]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Atanassow, F., Clarke, D., Jeuring, J.: Scripting XML with Generic Haskell. In: Proc. 7th Brazilian Symposium on Programming Languages (2003), See also Utrecht University technical report UU-CS-2003"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Balat, V., Di Cosmo, R.: A linear logical view of linear type isomorphisms. In: CSL, pp. 250\u2013265 (1999)","DOI":"10.1007\/3-540-48168-0_18"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Beylin, I., Dybjer, P.: Extracting a proof of coherence for monoidal categories from a proof of normalization for monoids. In: TYPES, pp. 47\u201361 (1995)","DOI":"10.1007\/3-540-61780-9_61"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Brown, A., Fuchs, M., Robie, J., Wadler, P.: MSL: A model for W3C XML Schema. In: Proc. WWW10 (May 2001)","DOI":"10.1145\/371920.371982"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1017\/S0960129500001444","volume":"2","author":"K.B. Bruce","year":"1992","unstructured":"Bruce, K.B., Di Cosmo, R., Longo, G.: Provable isomorphisms of types. Mathematical Structures in Computer Science\u00a02(2), 231\u2013247 (1992)","journal-title":"Mathematical Structures in Computer Science"},{"key":"4_CR6","unstructured":"Cluet, S., Sim\u00e9on, J.: YATL: a functional and declarative language for XML (2000)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Coelho, J., Florido, M.: Type-based XML processing in logic programming. In: PADL 2003, pp. 273\u2013285 (2003)","DOI":"10.1007\/3-540-36388-2_19"},{"key":"4_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-2572-0","volume-title":"Isomorphisms of Types: From lambda-calculus to Information Retrieval and Language Design","author":"R. Cosmo Di","year":"1995","unstructured":"Di Cosmo, R.: Isomorphisms of Types: From lambda-calculus to Information Retrieval and Language Design. Birkh\u00e4user, Basel (1995)"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Gapeyev, V., Pierce, B.C.: Regular object types. In: European Conference on Object-oriented Programming, ECOOP 2003 (2003)","DOI":"10.1007\/978-3-540-45070-2_8"},{"key":"4_CR10","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1006\/aima.1999.1877","volume":"151","author":"C. Hermida","year":"2000","unstructured":"Hermida, C.: Representable multicategories. Advances in Mathematics\u00a0151, 164\u2013225 (2000)","journal-title":"Advances in Mathematics"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/3-540-45442-X_10","volume-title":"Mathematics of Program Construction","author":"R. Hinze","year":"2002","unstructured":"Hinze, R., Jeuring, J., L\u00f6h, A.: Type-indexed data types. In: Boiten, E.A., M\u00f6ller, B. (eds.) MPC 2002. LNCS, vol.\u00a02386, pp. 148\u2013174. Springer, Heidelberg (2002)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/3-540-45271-0_15","volume-title":"The World Wide Web and Databases","author":"H. Hosoya","year":"2001","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A typed XML processing language. In: Suciu, D., Vossen, G. (eds.) WebDB 2000. LNCS, vol.\u00a01997, pp. 226\u2013244. Springer, Heidelberg (2001)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., Krishnamurti, S.: SXSLT: manipulation language for XML. In: PADL 2003, pp. 226\u2013272 (2003)","DOI":"10.1007\/3-540-36388-2_18"},{"key":"4_CR14","unstructured":"Leinster, T.S.H.: Operads in Higher-Dimensional Category Theory. PhD thesis, Trinity College and St John\u2019s College, Cambridge (2000)"},{"key":"4_CR15","volume-title":"Higher Operads, Higher Categories","author":"T. Leinster","year":"2003","unstructured":"Leinster, T.: Higher Operads, Higher Categories. Cambridge University Press, Cambridge (2003)"},{"key":"4_CR16","unstructured":"Leroy, X., et al.: The Objective Caml system release 3.07, Documentation and user\u2019s manual (December 2003), Available from http:\/\/caml.inria.fr\/ocaml\/htmlman\/"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"L\u00f6h, A., Clarke, D., Jeuring, J.: Dependency-style Generic Haskell. In: Proceedings of the International Conference on Functional Programming (ICFP 2003) (August 2003)","DOI":"10.1145\/944705.944719"},{"key":"4_CR18","unstructured":"Lane, S.M.: Natural associativity and commutativity. Rice University Studies 49, 28\u201346 (1963)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Lane, S.M.: Categories for the Working Mathematician, 2nd edn. Graduate Texts in Mathematics, vol.\u00a05. Springer, New York (1997) (1st ed., 1971)","DOI":"10.1007\/978-1-4612-9839-7_1"},{"key":"4_CR20","unstructured":"McAdam, B.: How to repair type errors automatically. In: Trends in Functional Programming (Proc. Scottish Functional Programming Workshop), vol.\u00a03 (2001)"},{"key":"4_CR21","volume-title":"Java & XML data binding","author":"B. McLaughlin","year":"2003","unstructured":"McLaughlin, B.: Java & XML data binding. O\u2019Reilly, Sebastopol (2003)"},{"key":"4_CR22","unstructured":"Meijer, E., Shields, M.: XMLambda: A functional language for constructing and manipulating XML documents (1999), Available from http:\/\/www.cse.ogi.edu\/~mbs\/"},{"key":"4_CR23","unstructured":"Metz, E., Brookes, A.: XML data binding. Dr. Dobb\u2019s Journal, 26\u201336 (March 2003)"},{"key":"4_CR24","unstructured":"Sun Microsystems. Java Architecture for XML Binding (JAXB). http:\/\/java.sun.com\/xml\/jaxb\/ (2003)"},{"key":"4_CR25","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R., MacQueen, D.: The Definition of Standard ML (Revised). MIT Press, Cambridge (May 1997)"},{"key":"4_CR26","unstructured":"Ogbuji, U.: Xml data bindings in python, parts 1 & 2. xml.com (2003), http:\/\/www.xml.com\/pub\/a\/2003\/06\/11\/py-xml.html"},{"key":"4_CR27","unstructured":"Jones, S.P., Hughes, J., et al.: Haskell 98 \u2013 A non-strict, purely functional language, Available from http:\/\/haskell.org (February 1999)"},{"issue":"4","key":"4_CR28","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/s007780100057","volume":"10","author":"E. Rahm","year":"2001","unstructured":"Rahm, E., Bernstein, P.A.: A survey of approaches to automatic schema matching. VLDB Journal: Very Large Data Bases\u00a010(4), 334\u2013350 (2001)","journal-title":"VLDB Journal: Very Large Data Bases"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Rittri, M.: Retrieving library identifiers via equational matching of types. In: Conference on Automated Deduction, pp. 603\u2013617 (1990)","DOI":"10.1007\/3-540-52885-7_117"},{"issue":"6","key":"4_CR30","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1051\/ita\/1993270605231","volume":"27","author":"M. Rittri","year":"1993","unstructured":"Rittri, M.: Retrieving library functions by unifying types modulo linear isomorphism. Informatique Theorique et Applications\u00a027(6), 523\u2013540 (1993)","journal-title":"Informatique Theorique et Applications"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Shields, M., Meijer, E.: Type-indexed rows. In: The 28th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages, pp. 261\u2013275 (2001), Also available from http:\/\/www.cse.ogi.edu\/~mbs\/","DOI":"10.1145\/373243.360230"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Sim\u00e9on, J., Wadler, P.: The essence of XML. In: Proc. POPL 2003 (2003)","DOI":"10.1145\/604131.604132"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1007\/3-540-56944-8_71","volume-title":"Logic Programming and Automated Reasoning","author":"S. Soloviev","year":"1993","unstructured":"Soloviev, S.: A complete axiom system for isomorphism of types in closed categories. In: Voronkov, A. (ed.) LPAR 1993. LNCS, vol.\u00a0698, pp. 360\u2013371. Springer, Heidelberg (1993)"},{"key":"4_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3540543961_3","volume-title":"Functional Programming Languages and Computer Architecture","author":"S.R. Thatte","year":"1991","unstructured":"Thatte, S.R.: Coercive type isomorphism. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 29\u201349. Springer, Heidelberg (1991)"},{"issue":"4&5","key":"4_CR35","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1017\/S0956796802004392","volume":"12","author":"P. Thiemann","year":"2002","unstructured":"Thiemann, P.: A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming\u00a012(4&5), 435\u2013468 (2002)","journal-title":"Journal of Functional Programming"},{"key":"4_CR36","unstructured":"W3C. XSL Transformations 1.0, http:\/\/www.w3.org\/TR\/xslt (1999)"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: International Conference on Functional Programming, pp. 148\u2013159 (1999)","DOI":"10.1145\/317636.317794"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27764-4_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:19:20Z","timestamp":1605759560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27764-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540223801","9783540277644"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27764-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}