{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:56:13Z","timestamp":1725562573579},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540222538"},{"type":"electronic","value":"9783540248361"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24836-1_6","type":"book-chapter","created":{"date-parts":[[2010,8,8]],"date-time":"2010-08-08T15:50:55Z","timestamp":1281282655000},"page":"71-85","source":"Crossref","is-referenced-by-count":9,"title":["UUXML: A Type-Preserving XML Schema\u2013Haskell Data Binding"],"prefix":"10.1007","author":[{"given":"Frank","family":"Atanassow","sequence":"first","affiliation":[]},{"given":"Dave","family":"Clarke","sequence":"additional","affiliation":[]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"Atanassow, F., Clarke, D., Jeuring, J.: Scripting XML with Generic Haskell. Technical Report UU-CS-2003, Utrecht University (2003)"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-27764-4_4","volume-title":"Mathematics of Program Construction","author":"F. Atanassow","year":"2004","unstructured":"Atanassow, F., Jeuring, J.: Inferring type isomorphisms generically. In: Kozen, D. (ed.) MPC 2004. LNCS, vol.\u00a03125, pp. 32\u201353. Springer, Heidelberg (2004)"},{"key":"6_CR3","first-page":"171","volume-title":"Proceedings of the 2001 ACM SIGPLAN Haskell Workshop","author":"A.I. Baars","year":"2001","unstructured":"Baars, A.I., L\u00f6h, A., Swierstra, S.D.: Parsing permutation phrases. In: Hinze, R. (ed.) Proceedings of the 2001 ACM SIGPLAN Haskell Workshop, pp. 171\u2013182. Elsevier, Amsterdam (2001)"},{"key":"6_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"},{"key":"6_CR5","unstructured":"Cluet, S., Sim\u00e9on, J.: YATL: a functional and declarative language for XML (2000)"},{"key":"6_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-36388-2_19","volume-title":"Practical Aspects of Declarative Languages","author":"J. Coelho","year":"2002","unstructured":"Coelho, J., Florido, M.: Type-based XML processing in logic programming. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 273\u2013285. Springer, Heidelberg (2002)"},{"key":"6_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-6711-6","volume-title":"Understanding SGML and XML Tools","author":"P. Flynn","year":"1998","unstructured":"Flynn, P.: Understanding SGML and XML Tools. Kluwer Academic Publishers, Dordrecht (1998)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"ECOOP 2003 - Object-Oriented Programming","author":"V. Gapeyev","year":"2003","unstructured":"Gapeyev, V., Pierce, B.C.: Regular object types. In: Cardelli, L. (ed.) ECOOP 2003. LNCS, vol.\u00a02743, Springer, Heidelberg (2003)"},{"key":"6_CR9","unstructured":"Garshol, L.M.: Free XML tools and software, Available from http:\/\/www.garshol.priv.no\/download\/xmltools\/"},{"key":"6_CR10","unstructured":"Google. Web Directory on XML tools, http:\/\/www.google.com\/"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Hinze, R., Jeuring, J.: Generic Haskell: practice and theory (2003) (to appear)","DOI":"10.1007\/978-3-540-45191-4_1"},{"key":"6_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)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1017\/S0956796898003050","volume":"8","author":"G. Hutton","year":"1996","unstructured":"Hutton, G., Meijer, E.: Monadic parser combinators. Journal of Functional Programming\u00a08(4), 437\u2013444 (1996)","journal-title":"Journal of Functional Programming"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","first-page":"226","volume-title":"Practical Aspects of Declarative Languages","author":"O. Kiselyov","year":"2002","unstructured":"Kiselyov, O., Krishnamurti, S.: SXSLT: manipulation language for XML. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 226\u2013272. Springer, Heidelberg (2002)"},{"key":"#cr-split#-6_CR15.1","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: Second USENIX Conference on Domain Specific Languages (DSL 1999), Austin, Texas, October 1999, pp. 109\u2013122 (1999);","DOI":"10.1145\/331960.331977"},{"key":"#cr-split#-6_CR15.2","doi-asserted-by":"crossref","unstructured":"Leijen, D., Meijer, E.: Domain specific embedded compilers. In: Second USENIX Conference on Domain Specific Languages (DSL 1999), Austin, Texas, October 1999, pp. 109\u2013122 (1999); USENIX Association. Also appeared in ACM SIGPLAN Notices 35(1) (January 2000)","DOI":"10.1145\/331963.331977"},{"key":"6_CR16","volume-title":"Java & XML data binding","author":"B. McLaughlin","year":"2003","unstructured":"McLaughlin, B.: Java & XML data binding. O\u2019Reilly, Sebastopol (2003)"},{"key":"6_CR17","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":"6_CR18","unstructured":"Metz, E., Brookes, A.: XML data binding. Dr. Dobb\u2019s Journal, 26\u201336 (March 2003)"},{"key":"6_CR19","unstructured":"OASIS. RELAX NG (2001), http:\/\/www.relaxng.org"},{"key":"6_CR20","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\/360204.360230"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Sim\u00e9on, J., Wadler, P.: The essence of XML. In: Proc. POPL 2003 (2003)","DOI":"10.1145\/604131.604132"},{"issue":"4&5","key":"6_CR22","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":"6_CR23","unstructured":"W3C. XML 1.0 (1998), http:\/\/www.w3.org\/XML\/"},{"key":"6_CR24","unstructured":"W3C. XSL Transformations 1.0 (1999), http:\/\/www.w3.org\/TR\/xslt"},{"key":"6_CR25","unstructured":"W3C. XML Schema: Formal description (2001), http:\/\/www.w3.org\/TR\/xmlschema-formal"},{"key":"6_CR26","unstructured":"W3C. XML Schema part 0: Primer (2001), http:\/\/www.w3.org\/TR\/xmlschema-0"},{"key":"6_CR27","unstructured":"W3C. XML Schema part 1: Structures (2001), http:\/\/www.w3.org\/TR\/xmlschema-1"},{"key":"6_CR28","unstructured":"W3C. XML Schema part 2: Datatypes (2001), http:\/\/www.w3.org\/TR\/xmlschema-2"},{"key":"6_CR29","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","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24836-1_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,18]],"date-time":"2020-11-18T23:56:44Z","timestamp":1605743804000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24836-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222538","9783540248361"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24836-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}