{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:25:09Z","timestamp":1725564309781},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540205364"},{"type":"electronic","value":"9783540400189"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40018-9_7","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T23:03:20Z","timestamp":1283727800000},"page":"89-104","source":"Crossref","is-referenced-by-count":3,"title":["A Typeful and Tagless Representation for XML Documents"],"prefix":"10.1007","author":[{"given":"Dengping","family":"Zhu","sequence":"first","affiliation":[]},{"given":"Hongwei","family":"Xi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"Atanassow, F., Clarke, D., Jeuring, J.: Scripting XML with Generic Haskell. In: Proceedings of Simposio Brasileiro de Linguagens de Programacao (SBLP 2003), Ouro Preto, Brazil (May 2003)"},{"key":"7_CR2","unstructured":"Clarke, D., Hinze, R., Jeuring, J., L\u00f6h, A., Meertens, L., Swierstra, D.: Generic Haskell, Available at \n                    \n                      http:\/\/www.generic-haskell.org\/"},{"key":"7_CR3","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, p. 226. Springer, Heidelberg (2001)"},{"key":"7_CR4","unstructured":"Jeuring, J., Hagg, P.: Generic Programming for XML Tools. Technical Report UU-CS-2002-023, Utrecht University (2002)"},{"key":"7_CR5","unstructured":"Meijer, E., Shields, M.: XMLambda: A functional language for constructing and manipulating XML documents (1999)"},{"key":"7_CR6","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1997","unstructured":"Milner, R., Tofte, M., Harper, R.W., MacQueen, D.: The Definition of Standard ML. MIT Press, Cambridge (1997) (revised)"},{"key":"7_CR7","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/335168.335171","volume-title":"Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems","author":"T. Milo","year":"2000","unstructured":"Milo, T., Suciu, D., Vianu, V.: Typechecking for XML Transformers. In: Proceedings of the Nineteenth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 11\u201322. ACM, New York (2000)"},{"key":"7_CR8","unstructured":"OASIS Technical Committee. RELAX NG Specification (December 2001), Available at \n                    \n                      http:\/\/www.oasis-open.org\/committees\/relax-ng\/spec-20011203.html"},{"key":"7_CR9","unstructured":"Peyton Jones, S., et al.: Haskell 98 \u2013 A non-strict, purely functional language (February 1999), Available at \n                    \n                      http:\/\/www.haskell.org\/onlinereport\/"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Sim\u00e9on, J., Wadler, P.: The Essence of XML. In: Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages, January 2003, pp. 1\u201313 (2003)","DOI":"10.1145\/640128.604132"},{"issue":"4&5","key":"7_CR11","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":"7_CR12","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/317636.317794","volume-title":"Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP 1999)","author":"M. Wallace","year":"1999","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic Combinators or Type- Based Translation? In: Proceedings of the Fourth ACM SIGPLAN International Conference on Functional Programming (ICFP 1999), vol.\u00a034-9, pp. 148\u2013159. ACM Press, New York (1999)"},{"key":"7_CR13","unstructured":"World Wide Web Consortium. Extensible Markup Language (XML). Version 1.0 (Second Edition). W3C Recommendation, October 6 (2002), \n                    \n                      http:\/\/www.w3.org\/TR\/REC-xml"},{"key":"7_CR14","unstructured":"World Wide Web Consortium. XML Schema Part 1: Structures. W3C Recommendation, May 2 (2001), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-1"},{"key":"7_CR15","unstructured":"World Wide Web Consortium. XML Schema Part 2: Datatypes. W3C Recommendation, May 2 (2001), Available at \n                    \n                      http:\/\/www.w3.org\/TR\/xmlschema-2"},{"key":"7_CR16","unstructured":"Xi, H.: Dependent Types in Practical Programming. PhD thesis, Carnegie Mellon University, pp. viii+189 (1998), Available as \n                    \n                      http:\/\/www.cs.cmu.edu\/~hwxi\/DML\/thesis.ps"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Xi, H., Chen, C., Chen, G.: Guarded recursive datatype constructors. In: Proceedings of the 30th ACM SIGPLAN Symposium on Principles of Programming Languages, New Orleans, January 2003, pp. 224\u2013235 (2003)","DOI":"10.1145\/640128.604150"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Xi, H., Pfenning, F.: Dependent types in practical programming. In: Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages, San Antonio, Texas, January 1999, pp. 214\u2013227 (1999)","DOI":"10.1145\/292540.292560"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40018-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:40:46Z","timestamp":1558302046000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40018-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205364","9783540400189"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40018-9_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}