{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:29Z","timestamp":1750221269409,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,3]],"date-time":"2017-09-03T00:00:00Z","timestamp":1504396800000},"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":[[2017,9,3]]},"DOI":"10.1145\/3122975.3122976","type":"proceedings-article","created":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T12:52:29Z","timestamp":1504097549000},"page":"2-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Type-directed diffing of structured data"],"prefix":"10.1145","author":[{"given":"Victor Cacciari","family":"Miraldo","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre-\u00c9variste","family":"Dagand","sequence":"additional","affiliation":[{"name":"UPMC, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wouter","family":"Swierstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/3118232.3118518"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628158"},{"key":"e_1_3_2_1_3_1","first-page":"259","article-title":"Similarity-Based Diff, Three-Way Diff and Merge","volume":"9","author":"Autexier Serge","year":"2015","unstructured":"Serge Autexier . 2015 . Similarity-Based Diff, Three-Way Diff and Merge . Int. J. Software and Informatics 9 , 2 (2015), 259 \u2013 277 . http:\/\/www.ijsi.org\/ch\/reader\/ view_abstract.aspx?file_no=i217 Serge Autexier. 2015. Similarity-Based Diff, Three-Way Diff and Merge. Int. J. Software and Informatics 9, 2 (2015), 259\u2013277. http:\/\/www.ijsi.org\/ch\/reader\/ view_abstract.aspx?file_no=i217","journal-title":"Int. J. Software and Informatics"},{"volume-title":"International School on Advanced Functional Programming","author":"Backhouse Roland","key":"e_1_3_2_1_4_1","unstructured":"Roland Backhouse , Patrik Jansson , Johan Jeuring , and Lambert Meertens . 1998. Generic programming . In International School on Advanced Functional Programming . Springer , 28\u2013115. Roland Backhouse, Patrik Jansson, Johan Jeuring, and Lambert Meertens. 1998. Generic programming. In International School on Advanced Functional Programming . Springer, 28\u2013115."},{"key":"e_1_3_2_1_5_1","volume-title":"Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10","author":"Benke Marcin","year":"2003","unstructured":"Marcin Benke , Peter Dybjer , and Patrik Jansson . 2003. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10 ( 2003 ). Marcin Benke, Peter Dybjer, and Patrik Jansson. 2003. Universes for generic programs and proofs in dependent type theory. Nordic Journal of Computing 10 (2003)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/829519.830817"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.12.030"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863547"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/253260.253266"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39634-2_8"},{"key":"e_1_3_2_1_11_1","volume-title":"Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer","author":"Cochez Michael","year":"2013","unstructured":"Michael Cochez , Ville Isom\u00f6tt\u00f6nen , Ville Tirronen , and Jonne Itkonen . 2013 . The Use of Distributed Version Control Systems in Advanced Programming Courses . In Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer , Kherson, Ukraine , June 19-22, 2013 . 221\u2013235. http:\/\/ceur-ws.org\/Vol-1000\/ ICTERI-2013-p-221-235.pdf Michael Cochez, Ville Isom\u00f6tt\u00f6nen, Ville Tirronen, and Jonne Itkonen. 2013. The Use of Distributed Version Control Systems in Advanced Programming Courses. In Proceedings of the 9th International Conference on ICT in Education, Research and Industrial Applications: Integration, Harmonization and Knowledge Transfer, Kherson, Ukraine, June 19-22, 2013 . 221\u2013235. http:\/\/ceur-ws.org\/Vol-1000\/ ICTERI-2013-p-221-235.pdf"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633634"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394539.2394560"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"e_1_3_2_1_15_1","unstructured":"Benjamin Farinier Thomas Gazagnaire and Anil Madhavapeddy. 2015. Mergeable persistent data structures. In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015) David Baelde and Jade Alglave (Eds.). Le Val d\u2019Ajol France. https:\/\/hal.inria.fr\/hal-01099136  Benjamin Farinier Thomas Gazagnaire and Anil Madhavapeddy. 2015. Mergeable persistent data structures. In Vingt-sixi\u00e8mes Journ\u00e9es Francophones des Langages Applicatifs (JFLA 2015) David Baelde and Jade Alglave (Eds.). Le Val d\u2019Ajol France. https:\/\/hal.inria.fr\/hal-01099136"},{"key":"e_1_3_2_1_16_1","volume-title":"Datatype-generic Programming. In Proceedings of the 2006 International Conference on Datatype-generic Programming (SSDGP\u201906)","author":"Gibbons Jeremy","year":"2007","unstructured":"Jeremy Gibbons . 2007 . Datatype-generic Programming. In Proceedings of the 2006 International Conference on Datatype-generic Programming (SSDGP\u201906) . Springer-Verlag, Berlin, Heidelberg, 1\u201371. http:\/\/dl.acm.org\/citation.cfm?id= 1782894.1782895 Jeremy Gibbons. 2007. Datatype-generic Programming. In Proceedings of the 2006 International Conference on Datatype-generic Programming (SSDGP\u201906) . Springer-Verlag, Berlin, Heidelberg, 1\u201371. http:\/\/dl.acm.org\/citation.cfm?id= 1782894.1782895"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2008.44"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_20_1","volume-title":"A formalization of darcs patch theory using inverse semigroups. Available from ftp:\/\/ ftp.math.ucla.edu\/ pub\/ camreport\/ cam09-83.pdf","author":"Jacobson Judah","year":"2009","unstructured":"Judah Jacobson . 2009. A formalization of darcs patch theory using inverse semigroups. Available from ftp:\/\/ ftp.math.ucla.edu\/ pub\/ camreport\/ cam09-83.pdf ( 2009 ). Judah Jacobson. 2009. A formalization of darcs patch theory using inverse semigroups. Available from ftp:\/\/ ftp.math.ucla.edu\/ pub\/ camreport\/ cam09-83.pdf (2009)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/647908.740125"},{"key":"e_1_3_2_1_23_1","unstructured":"Greg Kroah-Hartman. 2016. Linux Kernel Development. (2016). https:\/\/github. com\/gregkh\/kernel-development\/  Greg Kroah-Hartman. 2016. Linux Kernel Development. (2016). https:\/\/github. com\/gregkh\/kernel-development\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596614.1596624"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445508"},{"key":"e_1_3_2_1_26_1","unstructured":"Per Martin-L\u00f6f. 1984. Intuitionistic Type Theory. Bibliopolis Napoli.  Per Martin-L\u00f6f. 1984. Intuitionistic Type Theory. Bibliopolis Napoli."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_3"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803004829"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_30_1","volume-title":"A Categorical Theory of Patches. CoRR abs\/1311.3903","author":"Mimram Samuel","year":"2013","unstructured":"Samuel Mimram and Cinzia Di Giusto . 2013. A Categorical Theory of Patches. CoRR abs\/1311.3903 ( 2013 ). Samuel Mimram and Cinzia Di Giusto. 2013. A Categorical Theory of Patches. CoRR abs\/1311.3903 (2013)."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2557446"},{"volume-title":"Advanced Functional Programming","author":"Norell Ulf","key":"e_1_3_2_1_33_1","unstructured":"Ulf Norell . 2009. Dependently typed programming in Agda . In Advanced Functional Programming . Springer Berlin Heidelberg , 230\u2013266. Ulf Norell. 2009. Dependently typed programming in Agda. In Advanced Functional Programming . Springer Berlin Heidelberg, 230\u2013266."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(88)90034-X"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088348.1088349"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661136.2661137"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328444"},{"volume-title":"Homotopy Type Theory: Univalent Foundations of Mathematics . https:\/\/homotopytypetheory.org\/book","author":"Foundations Program The Univalent","key":"e_1_3_2_1_38_1","unstructured":"The Univalent Foundations Program . 2013. Homotopy Type Theory: Univalent Foundations of Mathematics . https:\/\/homotopytypetheory.org\/book , Institute for Advanced Study . The Univalent Foundations Program. 2013. Homotopy Type Theory: Univalent Foundations of Mathematics . https:\/\/homotopytypetheory.org\/book, Institute for Advanced Study."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976022.2976026"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41653"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Oxford UK","acronym":"ICFP '17"},"container-title":["Proceedings of the 2nd ACM SIGPLAN International Workshop on Type-Driven Development"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122975.3122976","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122975.3122976","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:04Z","timestamp":1750212664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122975.3122976"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,3]]},"references-count":39,"alternative-id":["10.1145\/3122975.3122976","10.1145\/3122975"],"URL":"https:\/\/doi.org\/10.1145\/3122975.3122976","relation":{},"subject":[],"published":{"date-parts":[[2017,9,3]]},"assertion":[{"value":"2017-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}