{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T06:08:15Z","timestamp":1789193295387,"version":"build-2803163510"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,8,30]],"date-time":"2009-08-30T00:00:00Z","timestamp":1251590400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,8,30]]},"DOI":"10.1145\/1596614.1596624","type":"proceedings-article","created":{"date-parts":[[2009,9,1]],"date-time":"2009-09-01T17:53:09Z","timestamp":1251827589000},"page":"61-72","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Type-safe diff for families of datatypes"],"prefix":"10.1145","author":[{"given":"Eelco","family":"Lempsink","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sean","family":"Leather","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Andres","family":"L\u00f6h","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2009,8,30]]},"reference":[{"issue":"4","key":"e_1_3_2_1_1_1","first-page":"265","article-title":"Universes for Generic Programs and Proofs","volume":"10","author":"Benke Marcin","year":"2003","journal-title":"Dependent Type Theory. Nordic Journal of Computing"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/829519.830817"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.12.030"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/253260.253266"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/233269.233366"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Douglas Crockford. The application\/json Media Type for JavaScript Object Notation (JSON). RFC 4627 July 2006. Douglas Crockford. The application\/json Media Type for JavaScript Object Notation (JSON). RFC 4627 July 2006.","DOI":"10.17487\/rfc4627"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782895"},{"key":"e_1_3_2_1_8_1","volume-title":"USA","author":"Hirschberg Daniel S.","year":"1975"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_12_1","first-page":"91","volume-title":"Klein. Computing the Edit-Distance Between Unrooted Ordered Trees. In ESA '98: Proceedings of the 6th Annual European Symposium on Algorithms","author":"Philip","year":"1998"},{"key":"e_1_3_2_1_13_1","volume-title":"Utrecht University","author":"L\u00f6h ExploringAndres","year":"2004"},{"key":"e_1_3_2_1_14_1","volume-title":"String Algorithmics","author":"Lozano Antoni","year":"2004"},{"key":"e_1_3_2_1_15_1","volume-title":"The University of Nottingham","author":"Morris Peter","year":"2007"},{"key":"e_1_3_2_1_16_1","volume-title":"Chalmers University of Technology and G\u00f6teborg University","author":"Norell Ulf","year":"2007"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1813347.1813352"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Oliveira2006 ExtensibleBruno C. D. S. Oliveira Ralf Hinze and Andres L\u00f6h . Extensible and Modular Generics for the Masses. In Henrik Nilsson editor Trends in Functional Programming volume 7 of Trends in Functional Programming pages 199 -- 216 . Intellect 2006 . Oliveira2006ExtensibleBruno C. D. S. Oliveira Ralf Hinze and Andres L\u00f6h. Extensible and Modular Generics for the Masses. In Henrik Nilsson editor Trends in Functional Programming volume 7 of Trends in Functional Programming pages 199--216. Intellect 2006.","DOI":"10.2307\/j.ctv36xvknz.15"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411213"},{"key":"e_1_3_2_1_20_1","volume-title":"3rd Twente Student Conference on IT. Faculty of Electrical Engineering, Mathematics, and Computer Science","author":"Peters Luuk","year":"2005"},{"key":"e_1_3_2_1_21_1","unstructured":"Dan Piponi. The Antidiagonal. http:\/\/blog.sigfpe.com\/2007\/09\/ type-of-distinct--pairs.html September 2007. Dan Piponi. The Antidiagonal. http:\/\/blog.sigfpe.com\/2007\/09\/ type-of-distinct--pairs.html September 2007."},{"key":"e_1_3_2_1_22_1","unstructured":"Dan Piponi. Tries and their Derivatives. http:\/\/blog.sigfpe.com\/2007\/09\/tries-and-their-derivatives_08.html September 2007. Dan Piponi. Tries and their Derivatives. http:\/\/blog.sigfpe.com\/2007\/09\/tries-and-their-derivatives_08.html September 2007."},{"key":"e_1_3_2_1_23_1","volume-title":"Accepted to ICFP","author":"Rodriguez GenericAlexey","year":"2009"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(77)90064-3"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/636517.636528"},{"key":"e_1_3_2_1_26_1","volume-title":"Universiteit Utrecht","author":"Tieleman Sjoerd","year":"2006"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210706"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/0218082"}],"event":{"name":"ICFP '09: ACM SIGPLAN International Conference on Functional Programming","location":"Edinburgh Scotland","acronym":"ICFP '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596614.1596624","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1596614.1596624","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:23:28Z","timestamp":1750249408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1596614.1596624"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8,30]]},"references-count":27,"alternative-id":["10.1145\/1596614.1596624","10.1145\/1596614"],"URL":"https:\/\/doi.org\/10.1145\/1596614.1596624","relation":{},"subject":[],"published":{"date-parts":[[2009,8,30]]},"assertion":[{"value":"2009-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}