{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,4]],"date-time":"2025-07-04T17:04:28Z","timestamp":1751648668499},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438571"},{"type":"electronic","value":"9783540454427"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45442-x_10","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T04:55:08Z","timestamp":1179204908000},"page":"148-174","source":"Crossref","is-referenced-by-count":8,"title":["Type-Indexed Data Types"],"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"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,6,21]]},"reference":[{"key":"10_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1007\/10704973_2","volume-title":"Advanced Functional Programming","author":"R. Backhouse","year":"1999","unstructured":"R. Backhouse, P. Jansson, J. Jeuring, and L. Meertens. Generic programming: An introduction. In S. Doaitse Swierstra, Pedro R. Henriques, and Jos\u00e9 N. Oliveira, editors, Advanced Functional Programming, volume 1608 of LNCS, pages 28\u2013115. Springer-Verlag, 1999."},{"issue":"1","key":"10_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796800001556","volume":"6","author":"R. Bird","year":"1996","unstructured":"Richard Bird, Oege de Moor, and Paul Hoogendijk. Generic functional programming with types and relations. Journal of Functional Programming, 6(1):1\u201328, 1996.","journal-title":"Journal of Functional Programming"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Manuel M.T. Chakravarty and Gabriele Keller. More types for nested data parallel programming. In Proceedings ICFP 2000: International Conference on Functional Programming, pages 94\u2013105. ACM Press, 2000.","DOI":"10.1145\/351240.351249"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Koen Claessen and Peter Ljungl\u00f6f. Typed logical variables in Haskell. In Proceedings Haskell Workshop 2000, 2000.","DOI":"10.1016\/S1571-0661(05)80544-4"},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"Karl Crary and Stephanie Weirich. Flexible type analysis. In Proceedings ICFP 1999: International Conference on Functional Programming, pages 233\u2013248. ACM Press, 1999.","DOI":"10.1145\/317636.317906"},{"key":"10_CR6","doi-asserted-by":"crossref","unstructured":"Karl Crary, Stephanie Weirich, and J. Gregory Morrisett. Intensional polymorphism in type-erasure semantics. In Proceedings ICFP 1998: International Conference on Functional Programming, pages 301\u2013312. ACM Press, 1998.","DOI":"10.1145\/289423.289459"},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"C. Dubois, F. Rouaix, and P. Weis. Extensional polymorphism. In 22nd Symposium on Principles of Programming Languages, POPL\u2019 95, pages 118\u2013129, 1995.","DOI":"10.1145\/199448.199473"},{"key":"10_CR8","series-title":"PhD thesis","volume-title":"Law and Order in Algorithmics","author":"M.M. Fokkinga","year":"1992","unstructured":"M.M. Fokkinga. Law and Order in Algorithmics. PhD thesis, University of Twente, Dept INF, Enschede, The Netherlands, 1992."},{"key":"10_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0054292","volume-title":"Proceedings of Mathematics of Program Construction","author":"J. Gibbons","year":"1998","unstructured":"Jeremy Gibbons. Polytypic downwards accumulations. In Proceedings of Mathematics of Program Construction, volume 1422 of LNCS. Springer-Verlag, June 1998."},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Robert Harper and Greg Morrisett. Compiling polymorphism using intensional type analysis. In 22nd Symposium on Principles of Programming Languages, POPL\u2019 95, pages 130\u2013141, 1995.","DOI":"10.1145\/199448.199475"},{"issue":"4","key":"10_CR11","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1017\/S0956796800003713","volume":"10","author":"R. Hinze","year":"2000","unstructured":"Ralf Hinze. Generalizing generalized tries. Journal of Functional Programming, 10(4):327\u2013351, 2000.","journal-title":"Journal of Functional Programming"},{"key":"10_CR12","unstructured":"Ralf Hinze. Generic Programs and Proofs. 2000. Habilitationsschrift, Bonn University."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Ralf Hinze. A new approach to generic functional programming. In Conference Record of POPL\u2019 00: The 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 119\u2013132. ACM Press, 2000.","DOI":"10.1145\/325694.325709"},{"key":"10_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/10722010_2","volume-title":"Mathematics of Program Construction","author":"R. Hinze","year":"2000","unstructured":"Ralf Hinze. Polytypic values possess polykinded types. In Roland Backhouse and Jos\u00e9 Nuno Oliveira, editors, Mathematics of Program Construction, volume 1837 of LNCS, pages 2\u201327. Springer-Verlag, 2000."},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Ralf Hinze and Simon Peyton Jones. Derivable type classes. In Graham Hutton, editor, Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, August 2001. The preliminary proceedings appeared as a University of Nottingham technical report.","DOI":"10.1016\/S1571-0661(05)80542-0"},{"issue":"5","key":"10_CR16","doi-asserted-by":"publisher","first-page":"549","DOI":"10.1017\/S0956796897002864","volume":"7","author":"G. Huet","year":"1997","unstructured":"G\u00e9rard Huet. The zipper. Journal of Functional Programming, 7(5):549\u2013554, 1997.","journal-title":"Journal of Functional Programming"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"P. Jansson and J. Jeuring. PolyP \u2014 a polytypic programming language extension. In Conference Record of POPL\u2019 97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 470\u2013482. ACM Press, 1997.","DOI":"10.1145\/263699.263763"},{"key":"10_CR18","unstructured":"Patrik Jansson. The WWW home page for polytypic programming. Available from http:\/\/www.cs.chalmers.se\/~patrikj\/poly\/ , 2001."},{"issue":"5","key":"10_CR19","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1017\/S095679689800313X","volume":"8","author":"Patrik Jansson and Johan Jeuring","year":"1998","unstructured":"Patrik Jansson and Johan Jeuring. Functional pearl: Polytypic unification. Journal of Functional Programming, 8(5):527\u2013536, September 1998.","journal-title":"Journal of Functional Programming"},{"key":"10_CR20","unstructured":"Patrik Jansson and Johan Jeuring. A framework for polytypic programming on terms, with an application to rewriting. In J. Jeuring, editor, Workshop on Generic Programming 2000, Ponte de Lima, Portugal, July 2000, pages 33\u201345, 2000. Utrecht Technical Report UU-CS-2000-19."},{"issue":"6","key":"10_CR21","doi-asserted-by":"publisher","first-page":"573","DOI":"10.1017\/S0956796898003128","volume":"8","author":"C.B. Jay","year":"1998","unstructured":"C.B. Jay, G. Bell\u00e8, and E. Moggi. Functorial ML. Journal of Functional Programming, 8(6):573\u2013619, 1998.","journal-title":"Journal of Functional Programming"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"J. Jeuring. Polytypic pattern matching. In Conference Record of FPCA\u2019 95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238\u2013248. ACM Press, 1995.","DOI":"10.1145\/224164.224212"},{"key":"10_CR23","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/3-540-46425-5_15","volume-title":"Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany","author":"M. P. Jones","year":"2000","unstructured":"Mark P. Jones. Type classes with functional dependencies. In G. Smolka, editor, Proceedings of the 9th European Symposium on Programming, ESOP 2000, Berlin, Germany, volume 1782 of LNCS, pages 230\u2013244. Springer-Verlag, March 2000."},{"key":"10_CR24","unstructured":"Ralf L\u00e4mmel and Wolfgang Lohmann. Format Evolution. In J. Kouloumdjian, H.C. Mayr, and A. Erkollar, editors, Proc. 7th International Conference on Reverse Engineering for Information Systems (RETIS 2001), volume 155 of books@ocg.at, pages 113\u2013134. OCG, 2001."},{"key":"10_CR25","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-6423(90)90023-7","volume":"14","author":"G. Malcolm","year":"1990","unstructured":"G. Malcolm. Data structures and program transformation. Science of Computer Programming, 14:255\u2013279, 1990.","journal-title":"Science of Computer Programming"},{"key":"10_CR26","unstructured":"Connor McBride. The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript, 2001."},{"key":"10_CR27","unstructured":"Nancy J. McCracken. An investigation of a programming language with a polymorphic type structure. PhD thesis, Syracuse University, June 1979."},{"issue":"5","key":"10_CR28","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01211391","volume":"4","author":"L. Meertens","year":"1992","unstructured":"L. Meertens. Paramorphisms. Formal Aspects of Computing, 4(5):413\u2013425, 1992.","journal-title":"Formal Aspects of Computing"},{"key":"10_CR29","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"FPCA\u201991: Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"E. Meijer, M.M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes, and barbed wire. In J. Hughes, editor, FPCA\u201991: Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124\u2013144. Springer-Verlag, 1991."},{"key":"10_CR30","unstructured":"John C. Mitchell. Foundations for Programming Languages. The MIT Press, 1996."},{"key":"10_CR31","unstructured":"Simon Peyton Jones [editor], John Hughes [editor], Lennart Augustsson, Dave Barton, Brian Boutel, Warren Burton, Simon Fraser, Joseph Fasel, Kevin Hammond, Ralf Hinze, Paul Hudak, Thomas Johnsson, Mark Jones, John Launchbury, Erik Meijer, John Peterson, Alastair Reid, Colin Runciman, and Philip Wadler. Haskell 98 \u2014 A non-strict, purely functional language. Available from http:\/\/www.haskell.org\/definition\/ , February 1999."},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Valery Trifonov, Bratin Saha, and Zhong Shao. Fully reflexive intensional type analysis. In Proceedings ICFP 2000: International Conference on Functional Programming, pages 82\u201393. ACM Press, 2000.","DOI":"10.1145\/351240.351248"},{"key":"10_CR33","first-page":"36","volume-title":"The WWW home page for polytypic programming","author":"M. Vestin","year":"1997","unstructured":"M\u00e5ns Vestin. Genetic algorithms in Haskell with polytypic programming. Examensarbeten 1997:36, G\u00f6teborg University, Gothenburg, Sweden, 1997. Available from the Polytypic programming WWW page [18]."},{"key":"10_CR34","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1007\/3-540-45309-1_7","volume-title":"European Symposium on Programming","author":"S. Weirich","year":"2001","unstructured":"Stephanie Weirich. Encoding intensional type analysis. In European Symposium on Programming, volume 2028 of LNCS, pages 92\u2013106. Springer-Verlag, 2001."},{"key":"10_CR35","unstructured":"Jan de Wit. A technical overview of Generic Haskell. Master\u2019s thesis, Department of Information and Computing Sciences, Utrecht University, 2002."},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Zhe Yang. Encoding types in ML-like languages. In Proceedings ICFP 1998: International Conference on Functional Programming, pages 289\u2013300. ACM Press, 1998.","DOI":"10.1145\/289423.289458"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45442-X_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T00:21:51Z","timestamp":1556410911000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45442-X_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438571","9783540454427"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/3-540-45442-x_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}