{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:28Z","timestamp":1750307428916,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T00:00:00Z","timestamp":1285459200000},"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":[[2010,9,26]]},"DOI":"10.1145\/1863495.1863499","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T17:41:50Z","timestamp":1285695710000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Scrap your zippers"],"prefix":"10.1145","author":[{"given":"Michael D.","family":"Adams","sequence":"first","affiliation":[{"name":"Indiana University, Bloomington, IN, USA"}]}],"member":"320","published-online":{"date-parts":[[2010,9,26]]},"reference":[{"key":"e_1_3_2_2_1_1","series-title":"Lecture Notes in Computer Science","volume-title":"Typed Lambda Calculi and Applications","author":"Abbott M.","year":"2003","unstructured":"}} M. Abbott , T. Altenkirch , N. Ghani , and C. McBride . Derivatives of containers . In Typed Lambda Calculi and Applications , volume 2701 of Lecture Notes in Computer Science . Springer Berlin \/ Heidelberg , 2003 . doi: 10.1007\/3-540-44904-3_2. 10.1007\/3-540-44904-3_2 }}M. Abbott, T. Altenkirch, N. Ghani, and C. McBride. Derivatives of containers. In Typed Lambda Calculi and Applications, volume 2701 of Lecture Notes in Computer Science. Springer Berlin \/ Heidelberg, 2003. doi: 10.1007\/3-540-44904-3_2."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1227143.1227145"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411302"},{"key":"e_1_3_2_2_4_1","volume-title":"Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications (LDTA 2009","author":"Allwood T. O. R.","year":"2009","unstructured":"}} T. O. R. Allwood and S. Eisenbach . Strengthening the zipper . In Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications (LDTA 2009 ), Electronic Notes in Theoretical Computer Science, pages 2- -17, March 2009 . }}T. O. R. Allwood and S. Eisenbach. Strengthening the zipper. In Proceedings of the Ninth Workshop on Language Descriptions Tools and Applications (LDTA 2009), Electronic Notes in Theoretical Computer Science, pages 2--17, March 2009."},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782898"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596645"},{"key":"e_1_3_2_2_7_1","unstructured":"}}The Glorious Glasgow Haskell Compilation System User's Guide Version 6.12.2. The GHC Team. URL http:\/\/www.haskell.org\/ghc\/docs\/6.12.2\/html\/users_guide\/.  }}The Glorious Glasgow Haskell Compilation System User's Guide Version 6.12.2. The GHC Team. URL http:\/\/www.haskell.org\/ghc\/docs\/6.12.2\/html\/users_guide\/."},{"key":"e_1_3_2_2_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1007\/978-3-540-45191-4_2","volume-title":"Generic Haskell: Applications. In Generic Programming","author":"Hinze R.","year":"2003","unstructured":"}} R. Hinze and J. Jeuring . Chapter 2. Generic Haskell: Applications. In Generic Programming , volume 2793 of Lecture Notes in Computer Science , pages 57 -- 96 . Springer Berlin \/ Heidelberg , 2003 . doi: 10.1007\/978-3-540-45191-4_2. 10.1007\/978-3-540-45191-4_2 }}R. Hinze and J. Jeuring. Chapter 2. Generic Haskell: Applications. In Generic Programming, volume 2793 of Lecture Notes in Computer Science, pages 57--96. Springer Berlin \/ Heidelberg, 2003. doi: 10.1007\/978-3-540-45191-4_2."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004129"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_13"},{"key":"e_1_3_2_2_11_1","series-title":"Lecture Notes in Computer Science","first-page":"77","volume-title":"Mathematics of Program Construction","author":"Hinze R.","year":"2002","unstructured":"}} R. Hinze , J. Jeuring , and A. L\u00f6h . Type-indexed data types . In Mathematics of Program Construction , volume 2386 of Lecture Notes in Computer Science , pages 77 -- 91 . Springer Berlin \/ Heidelberg , 2002 . doi: 10.1007\/3-540-45442-X_10. 10.1007\/3-540-45442-X_10 }}R. Hinze, J. Jeuring, and A. L\u00f6h. Type-indexed data types. In Mathematics of Program Construction, volume 2386 of Lecture Notes in Computer Science, pages 77--91. Springer Berlin \/ Heidelberg, 2002. doi: 10.1007\/3-540-45442-X_10."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_3"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1782894.1782896"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_2_15_1","volume-title":"September","author":"Kiselyov O.","year":"2005","unstructured":"}} O. Kiselyov . Tool demonstration: A zipper based file\/operating system. Presentation at the 2005 ACM SIGPLAN workshop on Haskell , September 2005 . URL http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#zipper-fs. }}O. Kiselyov. Tool demonstration: A zipper based file\/operating system. Presentation at the 2005 ACM SIGPLAN workshop on Haskell, September 2005. URL http:\/\/okmij.org\/ftp\/Computation\/Continuations.html#zipper-fs."},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1770806.1770828"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_2_18_1","volume-title":"The Art of Computer Programming, Volume I: Fundamental Algorithms, page 562","author":"Knuth D. E.","year":"1968","unstructured":"}} D. E. Knuth . The Art of Computer Programming, Volume I: Fundamental Algorithms, page 562 . Addison-Wesley , 1 st edition, 1968 . ISBN 0-201-03801-3. }}D. E. Knuth. The Art of Computer Programming, Volume I: Fundamental Algorithms, page 562. Addison-Wesley, 1st edition, 1968. ISBN 0-201-03801-3.","edition":"1"},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190240"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086391"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328474"},{"key":"e_1_3_2_2_24_1","volume-title":"The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript","author":"McBride C.","year":"2001","unstructured":"}} C. McBride . The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript , 2001 . URL http:\/\/strictlypositive.org\/diff.pdf. }}C. McBride. The derivative of a regular type is its type of one-hole contexts. Unpublished manuscript, 2001. URL http:\/\/strictlypositive.org\/diff.pdf."},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11617990_16"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_2_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581691"},{"key":"e_1_3_2_2_31_1","volume-title":"May","author":"Stewart D.","year":"2007","unstructured":"}} D. Stewart . Roll your own window manager: Tracking focus with a zipper. Unpublished manuscript , May 2007 . URL http:\/\/cgi.cse.unsw.edu.au\/~dons\/blog\/2007\/05\/17. }}D. Stewart. Roll your own window manager: Tracking focus with a zipper. Unpublished manuscript, May 2007. URL http:\/\/cgi.cse.unsw.edu.au\/~dons\/blog\/2007\/05\/17."}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore Maryland USA","acronym":"ICFP '10"},"container-title":["Proceedings of the 6th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863499","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863495.1863499","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863499"}},"subtitle":["a generic zipper for heterogeneous types"],"short-title":[],"issued":{"date-parts":[[2010,9,26]]},"references-count":31,"alternative-id":["10.1145\/1863495.1863499","10.1145\/1863495"],"URL":"https:\/\/doi.org\/10.1145\/1863495.1863499","relation":{},"subject":[],"published":{"date-parts":[[2010,9,26]]},"assertion":[{"value":"2010-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}