{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,9]],"date-time":"2026-06-09T08:44:27Z","timestamp":1780994667207,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["203099"],"award-info":[{"award-number":["203099"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,6,9]]},"DOI":"10.1145\/2594291.2594304","type":"proceedings-article","created":{"date-parts":[[2014,5,13]],"date-time":"2014-05-13T08:18:34Z","timestamp":1399969114000},"page":"145-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["A theory of changes for higher-order languages"],"prefix":"10.1145","author":[{"given":"Yufei","family":"Cai","sequence":"first","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo G.","family":"Giarrusso","sequence":"additional","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tillmann","family":"Rendel","sequence":"additional","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Ostermann","sequence":"additional","affiliation":[{"name":"Philipps-Universit\u00e4t Marburg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480945.1480946"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186632.1186634"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596527.1596530"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806650"},{"key":"e_1_3_2_1_6_1","unstructured":"Agda Development Team. The Agda Wiki. http:\/\/wiki.portal.chalmers.se\/agda\/ 2013. Accessed on 2013-10-30.  Agda Development Team. The Agda Wiki. http:\/\/wiki.portal.chalmers.se\/agda\/ 2013. Accessed on 2013-10-30."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002839"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/16894.16861"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034792"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451438"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/645347.756433"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","first-page":"145","DOI":"10.7551\/mitpress\/4472.001.0001","volume-title":"Materialized views","author":"Gupta A.","year":"1999","unstructured":"A. Gupta and I. S. Mumick . Maintenance of materialized views: problems, techniques, and applications . In A. Gupta and I. S. Mumick, editors, Materialized views , pages 145 -- 157 . MIT Press , 1999 . A. Gupta and I. S. Mumick. Maintenance of materialized views: problems, techniques, and applications. In A. Gupta and I. S. Mumick, editors, Materialized views, pages 145--157. MIT Press, 1999."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048124"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807085.1807100"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.07.001"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026547031739"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_29"},{"key":"e_1_3_2_1_19_1","volume-title":"Foundations of programming languages","author":"Mitchell J. C.","year":"1996","unstructured":"J. C. Mitchell . Foundations of programming languages . MIT Press , 1996 . J. C. Mitchell. Foundations of programming languages. MIT Press, 1996."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357177"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868294.1868314"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2451436.2451442"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449766"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Edinburgh United Kingdom","acronym":"PLDI '14","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","NSF"]},"container-title":["Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2594291.2594304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:01:04Z","timestamp":1750215664000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2594291.2594304"}},"subtitle":["incrementalizing \u03bb-calculi by static differentiation"],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":23,"alternative-id":["10.1145\/2594291.2594304","10.1145\/2594291"],"URL":"https:\/\/doi.org\/10.1145\/2594291.2594304","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2666356.2594304","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}