{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,1]],"date-time":"2026-10-01T19:50:09Z","timestamp":1790884209246,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540430926","type":"print"},{"value":"9783540455875","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45587-6_10","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:19:19Z","timestamp":1182719959000},"page":"137-154","source":"Crossref","is-referenced-by-count":20,"title":["Typed Combinators for Generic Traversal"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joost","family":"Visser","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2001,12,20]]},"reference":[{"issue":"2","key":"10_CR1","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, B. Pierce, and G. Plotkin. Dynamic Typing in a Statically Typed Language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268, Apr. 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"10_CR2","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1109\/MS.1986.233411","volume":"3","author":"G. Arango","year":"1986","unstructured":"G. Arango, I. Baxter, P. Freeman, and C. Pidgeon. TMM: Software maintenance by transformation. IEEE Software, 3(3):27\u201339, May 1986.","journal-title":"IEEE Software"},{"issue":"2\u20133","key":"10_CR3","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1016\/S0167-6423(99)00037-4","volume":"36","author":"M. Brand","year":"2000","unstructured":"M. Brand, M. Sellink, and C. Verhoef. Generation of Components for Software Renovation Factories from Context-free Grammars. Science of Computer Programming, 36(2\u20133):209\u2013266, 2000.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"10_CR4","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/52.43044","volume":"7","author":"E. Chikofsky","year":"1990","unstructured":"E. Chikofsky and J. C. II. Reverse Engineering and Design Recovery: A Taxonomy. IEEE Software, 7(1):13\u201317, Jan. 1990.","journal-title":"IEEE Software"},{"issue":"1","key":"10_CR5","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1145\/291251.289459","volume":"34","author":"K. Crary","year":"1999","unstructured":"K. Crary, S. Weirich, and G. Morrisett. Intensional polymorphism in type-erasure semantics. ACM SIGPLAN Notices, 34(1):301\u2013312, Jan. 1999.","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR6","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"Proc. of FASE\u201999","author":"A. Deursen","year":"1999","unstructured":"A. Deursen, P. Klint, and C. Verhoef. Research Issues in the Renovation of Legacy Systems. In J. Finance, editor, Proc. of FASE\u201999, volume 1577 of LNCS, pages 1\u201321. Springer-Verlag, 1999."},{"key":"10_CR7","doi-asserted-by":"crossref","unstructured":"C. Dubois, F. Rouaix, and P. Weis. Extensional polymorphism. In Conference record of POPL\u201995, pages 118\u2013129. ACM Press, 1995.","DOI":"10.1145\/199448.199473"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"P. H. Eidor., F. Henglein, C. Mossin, H. Niss, M. H. B. S\u00f8rensen, and M. Tofte. AnnoDomini: From type theory to year 2000 conversion tool. In Conference Record of POPL\u201999, pages 1\u201314. ACM press, 1999. Invited paper.","DOI":"10.1145\/292540.292543"},{"key":"10_CR9","unstructured":"M. Fowler. Refactoring: Improving the Design of Existing Code. Addison Wesley, 1999."},{"key":"10_CR10","unstructured":"Haskell 98: A Non-strict, Purely Functional Language, Feb. 1999. http:\/\/www.haskell.org\/onlinereport\/ ."},{"key":"10_CR11","unstructured":"R. Hinze. A generic programming extension for Haskell. In E. Meijer, editor, Proceedings of the 3rd Haskell Workshop, Paris, France, Sept. 1999. Technical report, Universiteit Utrecht, UU-CS-1999-28."},{"key":"10_CR12","doi-asserted-by":"crossref","unstructured":"P. Jansson and J. Jeuring. PolyP-a polytypic programming language extension. In Conference record of POPL\u201997, pages 470\u2013482. ACM Press, 1997.","DOI":"10.1145\/263699.263763"},{"key":"10_CR13","unstructured":"J. Jeuring, editor. Proc. of WGP\u20192000, Technical Report, Universiteit Utrecht, July 2000."},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"M. Jones. First-class polymorphism with type inference. In Conference record of POPL\u201997, pages 483\u2013496, Paris, France, 15-17 Jan. 1997.","DOI":"10.1145\/263699.263765"},{"key":"10_CR15","unstructured":"J. Kort, R. L\u00e4mmel, and J. Visser. Functional Transformation Systems. In 9th International Workshop on Functional and Logic Programming, Benicassim, Spain, July 2000."},{"key":"10_CR16","unstructured":"R. L\u00e4mmel. Typed Generic Traversals in S 1 ?. Technical Report SEN-R0122, CWI, Aug. 2001."},{"key":"10_CR17","unstructured":"R. L\u00e4mmel, J. Visser, and J. Kort. Dealing with Large Bananas. In Jeuring [13], pages 46\u201359."},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/0167-6423(83)90008-4","volume":"3","author":"L. Paulson","year":"1983","unstructured":"L. Paulson. A Higher-Order Implementation of Rewriting. Science of Computer Programming, 3(2):119\u2013149, Aug. 1983.","journal-title":"Science of Computer Programming"},{"key":"10_CR19","unstructured":"E. Visser. Language Independent Traversals for Program Transformation. In Jeuring [13], pages 86\u2013104."},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"E. Visser, Z. Benaissa, and A. Tolmach. Building Program Optimizers with Rewriting Strategies. In Proc. of ICFP\u201998, pages 13\u201326, Sept. 1998.","DOI":"10.1145\/289423.289425"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"P. Wadler. Theorems for Free! In Proc. of FPCA\u201989, London, pages 347\u2013359. ACM Press, New York, Sept. 1989.","DOI":"10.1145\/99370.99404"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"P. Wadler. The essence of functional programming. In Conference record of POPL\u201992, pages 1\u201314. ACM Press, 1992.","DOI":"10.1145\/143165.143169"},{"issue":"9","key":"10_CR23","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1145\/317765.317794","volume":"34","author":"M. Wallace","year":"1999","unstructured":"M. Wallace and C. Runciman. Haskell and XML: Generic combinators or typebased translation? ACM SIGPLAN Notices, 34(9):148\u2013159, Sept. 1999. Proceedings of ICFP\u201999.","journal-title":"ACM SIGPLAN Notices"},{"issue":"9","key":"10_CR24","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/357766.351246","volume":"35","author":"S. Weirich","year":"2000","unstructured":"S. Weirich. Type-safe cast: (functional pearl). ACM SIGPLAN Notices, 35(9):58\u201367, Sept. 2000.","journal-title":"ACM SIGPLAN Notices"},{"key":"10_CR25","unstructured":"N. Winstanley. Derive User Guide, version 1.0. Available at http:\/\/www.dcs.gla.ac.uk\/~nww\/Derive\/ , June 1997."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45587-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,29]],"date-time":"2019-04-29T09:35:47Z","timestamp":1556530547000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45587-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12,20]]},"ISBN":["9783540430926","9783540455875"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45587-6_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2001,12,20]]}}}