{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:15Z","timestamp":1750306755340,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,28]],"date-time":"2013-09-28T00:00:00Z","timestamp":1380326400000},"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":[[2013,9,28]]},"DOI":"10.1145\/2502488.2502490","type":"proceedings-article","created":{"date-parts":[[2013,9,17]],"date-time":"2013-09-17T19:57:05Z","timestamp":1379447825000},"page":"73-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Generic representations of tree transformations"],"prefix":"10.1145","author":[{"given":"Jeroen","family":"Bransen","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Pedro","family":"Magalh\u00e3es","sequence":"additional","affiliation":[{"name":"University of Oxford, Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,9,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Umut A. Acar. Self-Adjusting Computation. PhD thesis Carnegie Mellon University 2005.   Umut A. Acar. Self-Adjusting Computation. PhD thesis Carnegie Mellon University 2005."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2006.08.009"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Jeroen Bransen Atze Dijkstra and S. Doaitse Swierstra. Lazy stateless incremental evaluation machinery for attribute grammars 2013. Available at http:\/\/www.staff.science.uu.nl\/~brans106\/lsiag-machinery.pdf.  Jeroen Bransen Atze Dijkstra and S. Doaitse Swierstra. Lazy stateless incremental evaluation machinery for attribute grammars 2013. Available at http:\/\/www.staff.science.uu.nl\/~brans106\/lsiag-machinery.pdf.","DOI":"10.1145\/2543728.2543735"},{"volume-title":"Universiteit Utrecht","year":"2012","author":"Gerdes Alex","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Jeremy\n       \n      Gibbons\n    .\n      \n  \n   \n  Datatype-generic programming. In Roland Backhouse Jeremy Gibbons Ralf Hinze and Johan Jeuring editors Spring School on Datatype-Generic Programming volume \n  4719\n   of \n  Lecture Notes in Computer Science\n  . \n  Springer-Verlag 2007\n  . doi:10.1007\/978-3-540-76786-2.   Jeremy Gibbons. Datatype-generic programming. In Roland Backhouse Jeremy Gibbons Ralf Hinze and Johan Jeuring editors Spring School on Datatype-Generic Programming volume 4719 of Lecture Notes in Computer Science. Springer-Verlag 2007. doi:10.1007\/978-3-540-76786-2.","DOI":"10.1007\/978-3-540-76786-2"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/648086.747315"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596614.1596624"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Jos\u00e9 Pedro Magalh\u00e3es. Optimisation of generic programs through inlining 2013. Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12).  Jos\u00e9 Pedro Magalh\u00e3es. Optimisation of generic programs through inlining 2013. Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12).","DOI":"10.1007\/978-3-642-41582-1_7"},{"key":"e_1_3_2_1_11_1","unstructured":"Conor McBride. The derivative of a regular type is its type of one-hole contexts 2001. Unpublished manuscript available at http:\/\/www.cs.nott.ac.uk\/~ctm\/diff.pdf.  Conor McBride. The derivative of a regular type is its type of one-hole contexts 2001. Unpublished manuscript available at http:\/\/www.cs.nott.ac.uk\/~ctm\/diff.pdf."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328474"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411318.1411321"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796803000315"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2166.357218"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"volume-title":"Universiteit Utrecht","year":"2004","author":"Schrage Martijn M.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034781"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863501"},{"key":"e_1_3_2_1_20_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Advanced Functional Programming","author":"Swierstra S. Doaitse","year":"1999"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863500"}],"event":{"name":"ICFP'13: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Boston Massachusetts USA","acronym":"ICFP'13"},"container-title":["Proceedings of the 9th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502488.2502490","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2502488.2502490","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:36Z","timestamp":1750231716000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2502488.2502490"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,28]]},"references-count":21,"alternative-id":["10.1145\/2502488.2502490","10.1145\/2502488"],"URL":"https:\/\/doi.org\/10.1145\/2502488.2502490","relation":{},"subject":[],"published":{"date-parts":[[2013,9,28]]},"assertion":[{"value":"2013-09-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}