{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:36:56Z","timestamp":1725557816124},"publisher-location":"Berlin, Heidelberg","reference-count":55,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201946"},{"type":"electronic","value":"9783540451914"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-45191-4_2","type":"book-chapter","created":{"date-parts":[[2010,6,23]],"date-time":"2010-06-23T22:19:15Z","timestamp":1277331555000},"page":"57-96","source":"Crossref","is-referenced-by-count":17,"title":["Chapter 2. Generic Haskell: Applications"],"prefix":"10.1007","author":[{"given":"Ralf","family":"Hinze","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Abott, M., Altenkirch, T., Ghani, N., McBride, C.: Derivatives of containers. In: Hofmann, M.O. (ed.) TLCA 2003. LNCS, vol.\u00a02701, pp. 16\u201330. Springer, Heidelberg (2003) (to appear)","DOI":"10.1007\/3-540-44904-3_2"},{"key":"2_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/10704973_2","volume-title":"Advanced Functional Programming","author":"R. Backhouse","year":"1999","unstructured":"Backhouse, R., Jansson, P., Jeuring, J., Meertens, L.: Generic programming: An introduction. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 28\u2013115. Springer, Heidelberg (1999)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Bird, R., Gibbons, J.: Arithmetic coding with folds and unfolds. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, Springer, Heidelberg (2003) (to appear)","DOI":"10.1007\/978-3-540-44833-4_1"},{"issue":"4","key":"2_CR4","doi-asserted-by":"publisher","first-page":"843","DOI":"10.1109\/18.9782","volume":"34","author":"R.D. Cameron","year":"1988","unstructured":"Cameron, R.D.: Source encoding using syntactic information source models. IEEE Transactions on Information Theory\u00a034(4), 843\u2013850 (1988)","journal-title":"IEEE Transactions on Information Theory"},{"key":"2_CR5","unstructured":"Cannataro, M., Carelli, G., Pugliese, A., Sacca, D.: Semantic lossy compression of XML data. In: Knowledge Representation Meets Databases (2001)"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Cheney, J.: Compressing xml with multiplexed hierarchical models. In: Proceedings of the 2001 IEEE Data Compression Conference, DCC 2001, pp. 163\u2013172 (2001)","DOI":"10.1109\/DCC.2001.917147"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-44833-4_3","volume-title":"Advanced Functional Programming","author":"K. Claessen","year":"2003","unstructured":"Claessen, K., Runciman, C., Chitil, O., Hughes, J., Wallace, M.: Testing and tracing lazy functional programs using Quickcheck and Hat. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, Springer, Heidelberg (2003) (to appear)"},{"key":"2_CR8","unstructured":"Clarke, D.: Towards GH(XML). Talk at the Generic Haskell meeting (2001), see, http:\/\/www.generic-haskell.org\/talks.html"},{"key":"2_CR9","unstructured":"Clarke, D., Hinze, R., Jeuring, J., L\u00f6h, A., de Wit, J.: The Generic Haskell user\u2019s guide. Technical Report UU-CS-2001-26, Utrecht University (2001), Also available from http:\/\/www.generic-haskell.org\/"},{"key":"2_CR10","series-title":"IFIP","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1007\/978-0-387-35672-3_2","volume-title":"Generic Programming","author":"D. Clarke","year":"2003","unstructured":"Clarke, D., L\u00f6h, A.: Generic Haskell, specifically. In: Gibbons, J., Jeuring, J. (eds.) Generic Programming, January 2003. IFIP, vol.\u00a0243, pp. 21\u201348. Kluwer Academic Publishers, Dordrecht (2003)"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1017\/S0960129500000803","volume":"5","author":"R.H. Connelly","year":"1995","unstructured":"Connelly, R.H., Morris, F.L.: A generalization of the trie data structure. Mathematical Structures in Computer Science\u00a05(3), 381\u2013418 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"2_CR12","unstructured":"XMLSolutions Corporation. XMLZip (1999), Available from http:\/\/www.xmlzip.com\/"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"de la Briandais, R.: File searching using variable length keys. In: Proc. Western Joint Computer Conference, vol.\u00a015, pp. 295\u2013298. AFIPS Press (1959)","DOI":"10.1145\/1457838.1457895"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Evans, W.S., Fraser, C.W.: Bytecode compression via profiled grammar rewriting. In: SIGPLAN Conference on Programming Language Design and Implementation, pp. 148\u2013155 (2001)","DOI":"10.1145\/378795.378827"},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1007\/3-540-62852-5_19","volume-title":"Mobile Object Systems: Towards the Programmable Internet","author":"M. Franz","year":"1997","unstructured":"Franz, M.: Adaptive compression of syntax trees and iterative dynamic code optimization: Two basic technologies for mobile object systems. In: Mobile Object Systems: Towards the Programmable Internet, pp. 263\u2013276. Springer, Heidelberg (1997)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Girardot, M., Sundaresan, N.: Millau: an encoding format for efficient representation and exchange of XML over the Web. In: IEEE International Conference on Multimedia and Expo (I) 2000, pp. 747\u2013765 (2000)","DOI":"10.1016\/S1389-1286(00)00051-7"},{"key":"2_CR17","unstructured":"Hagg, P.: A framework for developing generic XML Tools. Master\u2019s thesis, Department of Information and Computing Sciences, Utrecht University (2002)"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1017\/S0956796800003713","volume":"10","author":"R. Hinze","year":"2000","unstructured":"Hinze, R.: Generalizing generalized tries. Journal of Functional Programming\u00a010(4), 327\u2013351 (2000)","journal-title":"Journal of Functional Programming"},{"key":"2_CR19","unstructured":"Hinze, R.: Generic Programs and Proofs, Habilitationsschrift, Bonn University (2000)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Hinze, R.: A new approach to generic functional programming. In: Conference Record of POPL 2000: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 119\u2013132. ACM Press, New York (2000)","DOI":"10.1145\/325694.325709"},{"issue":"2-3","key":"2_CR21","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/S0167-6423(02)00025-4","volume":"43","author":"R. Hinze","year":"2002","unstructured":"Hinze, R.: Polytypic values possess polykinded types. Science of Computer Programming\u00a043(2-3), 129\u2013159 (2002)","journal-title":"Science of Computer Programming"},{"key":"2_CR22","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":"2_CR23","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)"},{"issue":"5","key":"2_CR24","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G. Huet","year":"1997","unstructured":"Huet, G.: The zipper. Journal of Functional Programming\u00a07(5), 549\u2013554 (1997)","journal-title":"Journal of Functional Programming"},{"key":"2_CR25","unstructured":"INC Intelligent Compression Technologies. XML-Xpress. (2001), Whitepaper available from http:\/\/www.ictcompress.com\/products_xmlxpress.html"},{"key":"2_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-49099-X_18","volume-title":"Programming Languages and Systems","author":"P. Jansson","year":"1999","unstructured":"Jansson, P., Jeuring, J.: Polytypic compact printing and parsing. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 273\u2013287. Springer, Heidelberg (1999)"},{"key":"2_CR27","unstructured":"Jansson, P.: The WWW home page for polytypic programming (2001), Available from http:\/\/www.cs.chalmers.se\/~patrikj\/poly\/"},{"issue":"5","key":"2_CR28","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1017\/S095679689800313X","volume":"8","author":"P. Jansson","year":"1998","unstructured":"Jansson, P., Jeuring, J.: Functional pearl: Polytypic unification. Journal of Functional Programming\u00a08(5), 527\u2013536 (1998)","journal-title":"Journal of Functional Programming"},{"key":"#cr-split#-2_CR29.1","unstructured":"Jansson, P., Jeuring, J.: A framework for polytypic programming on terms, with an application to rewriting. In: Jeuring, J. (ed.) Workshop on Generic Programming 2000, Ponte de Lima, Portugal, July 2000, pp. 33???45 (2000);"},{"key":"#cr-split#-2_CR29.2","unstructured":"Utrecht Technical Report UU-CS-2000-19."},{"issue":"1","key":"2_CR30","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0167-6423(01)00020-X","volume":"43","author":"P. Jansson","year":"2002","unstructured":"Jansson, P., Jeuring, J.: Polytypic data conversion programs. Science of Computer Programming\u00a043(1), 35\u201375 (2002)","journal-title":"Science of Computer Programming"},{"key":"2_CR31","first-page":"238","volume-title":"Conference Record of FPCA 1995, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture","author":"J. Jeuring","year":"1995","unstructured":"Jeuring, J.: Polytypic pattern matching. In: Conference Record of FPCA 1995, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pp. 238\u2013248. ACM Press, New York (1995)"},{"key":"2_CR32","unstructured":"Jeuring, J., Hagg, P.: XComprez (2002), Available from http:\/\/www.generic-haskell.org\/xmltools\/XComprez\/"},{"key":"2_CR33","volume-title":"The Art of Computer Programming, Volume 3: Sorting and Searching","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, Volume 3: Sorting and Searching, 2nd edn. Addison-Wesley Publishing Company, Reading (1998)","edition":"2"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. Submitted for publication (2002)","DOI":"10.1007\/3-540-44854-3_6"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"L\u00e4mmel, R., Jones, S.P.: Scrap your boilerplate: a practical approach to generic programming. In: Proc. ACM SIGPLAN Workshop on Types in Language Design and Implementation, TLDI 2003 (2003)","DOI":"10.1145\/604174.604179"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Liefke, H., Suciu, D.: XMill: an efficient compressor for XML data. In: Proceedings of the 2000 ACM SIGMOD International Conference on Management of Data, pp. 153\u2013164 (2000)","DOI":"10.1145\/342009.335405"},{"key":"2_CR37","unstructured":"L\u00f6h, A., Clarke, D., Jeuring, J.: Generic Haskell, naturally: The language and its type system (2003) (in preparation)"},{"key":"2_CR38","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G. Malcolm","year":"1990","unstructured":"Malcolm, G.: Data structures and program transformation. Science of Computer Programming\u00a014, 255\u2013279 (1990)","journal-title":"Science of Computer Programming"},{"key":"2_CR39","unstructured":"McBride, C.: The derivative of a regular type is its type of one-hole contexts (2001) (unpublished manuscript)"},{"issue":"5","key":"2_CR40","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01211391","volume":"4","author":"L. Meertens","year":"1992","unstructured":"Meertens, L.: Paramorphisms. Formal Aspects of Computing\u00a04(5), 413\u2013425 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"2_CR41","unstructured":"Meertens, L.: Functor pulling. In: Workshop on Generic Programming (WGP 1998), Marstrand, Sweden (June 1998)"},{"key":"2_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M.M., Paterson, R.: Functional programming with bananas, lenses, envelopes, and barbed wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"},{"key":"2_CR43","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530104","volume-title":"Purely Functional Data Structures","author":"C. Okasaki","year":"1998","unstructured":"Okasaki, C.: Purely Functional Data Structures. Cambridge University Press, Cambridge (1998)"},{"key":"2_CR44","unstructured":"Okasaki, C., Gill, A.: Fast mergeable integer maps. In: The 1998 ACM SIGPLAN Workshop on ML, Baltimore, Maryland, pp. 77\u201386 (1998)"},{"key":"2_CR45","unstructured":"Jones, S.P., Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fraser, S., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., Wadler, P.: Haskell 1998 \u2014 A non-strict, purely functional language (February 1999), Available from http:\/\/www.haskell.org\/definition\/"},{"key":"2_CR46","unstructured":"Stork, C.H., Haldar, V.V., Franz, M.: Generic adaptive syntax-directed compression for mobile code. Technical Report 00-42, Department of Information and Computer Science, University of California, Irvine (2000)"},{"key":"#cr-split#-2_CR47.1","unstructured":"Thue, A.: ??ber die gegenseitige lage gleicher teile gewisser zeichenreihen. Skrifter udgivne af Videnskaps-Selskabet i Christiania, Mathematisk-Naturvidenskabelig Klasse??1, 1???67 (1912);"},{"key":"#cr-split#-2_CR47.2","unstructured":"Reprinted in Thue???s Selected Mathematical Papers, pp. 413???477. Universitetsforlaget, Oslo (1977)"},{"key":"2_CR48","doi-asserted-by":"crossref","unstructured":"Tolani, P., Haritsa, J.R.: XGRIND: A query-friendly XML compressor. In: ICDE (2002)","DOI":"10.1109\/ICDE.2002.994712"},{"key":"2_CR49","unstructured":"W3C. XML 1.0 (1998), Available from http:\/\/www.w3.org\/XML\/"},{"key":"#cr-split#-2_CR50.1","unstructured":"Wadsworth, C.P.: Recursive type operators which are more than type schemes. Bulletin of the EATCS??8, 87???88 (1979);"},{"key":"#cr-split#-2_CR50.2","unstructured":"Abstract of a talk given at the 2nd International Workshop on the Semantics of Programming Languages, Bad Honnef, Germany, March 19???23 (1979)"},{"key":"2_CR51","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"},{"issue":"3","key":"2_CR52","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1109\/TIT.1977.1055714","volume":"23","author":"J. Ziv","year":"1977","unstructured":"Ziv, J., Lempel, A.: A universal algorithm for sequential data compression. IEEE Transactions on Information Theory\u00a023(3), 337\u2013343 (1977)","journal-title":"IEEE Transactions on Information Theory"}],"container-title":["Lecture Notes in Computer Science","Generic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-45191-4_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T10:53:16Z","timestamp":1559213596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-45191-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201946","9783540451914"],"references-count":55,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-45191-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}