{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:49:04Z","timestamp":1750308544481,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,28]],"date-time":"2013-08-28T00:00:00Z","timestamp":1377648000000},"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,8,28]]},"DOI":"10.1145\/2620678.2620687","type":"proceedings-article","created":{"date-parts":[[2014,10,31]],"date-time":"2014-10-31T19:32:56Z","timestamp":1414783976000},"page":"85-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Circularity and Lambda Abstraction"],"prefix":"10.1145","author":[{"given":"Olivier","family":"Danvy","sequence":"first","affiliation":[{"name":"Department of Computer Science, Aarhus University"}]},{"given":"Peter","family":"Thiemann","sequence":"additional","affiliation":[{"name":"Institut f\u00fcr Informatik Universit\u00e4t, Freiburg"}]},{"given":"Ian","family":"Zerny","sequence":"additional","affiliation":[{"name":"Google, Aarhus"}]}],"member":"320","published-online":{"date-parts":[[2013,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"P.\n      Achten\n     and \n      M. J.\n      Plasmeijer\n  . \n  The implementation of interactive local state transition systems in Clean\n  . In P. W. M. Koopman and C. Clack editors IFL volume \n  1868\n   of \n  Lecture Notes in Computer Science pages \n  115\n  --\n  130\n  . \n  Springer 1999\n  . ISBN 3-540-67864-6.   P. Achten and M. J. Plasmeijer. The implementation of interactive local state transition systems in Clean. In P. W. M. Koopman and C. Clack editors IFL volume 1868 of Lecture Notes in Computer Science pages 115--130. Springer 1999. ISBN 3-540-67864-6."},{"key":"e_1_3_2_1_2_1","volume-title":"Compilers: Principles, Techniques and Tools. Pearson Education","author":"Aho A. V.","year":"2006","unstructured":"A. V. Aho , M. S. Lam , R. Sethi , and J. D. Ullman . Compilers: Principles, Techniques and Tools. Pearson Education , Inc. Addison-Wesley , London, United Kingdom, second edition, 2006 . A. V. Aho, M. S. Lam, R. Sethi, and J. D. Ullman. Compilers: Principles, Techniques and Tools. Pearson Education, Inc. Addison-Wesley, London, United Kingdom, second edition, 2006."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264249"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244381.1244399"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1929501.1929526"},{"key":"e_1_3_2_1_6_1","first-page":"154","volume-title":"Functional Programming Languages and Computer Architecture, number 274 in Lecture Notes in Computer Science","author":"Johnsson T.","year":"1987","unstructured":"T. Johnsson . Attribute grammars as a functional programming paradigm . In G. Kahn, editor, Functional Programming Languages and Computer Architecture, number 274 in Lecture Notes in Computer Science , pages 154 -- 173 , Portland, Oregon, Sept . 1987 . Springer-Verlag . T. Johnsson. Attribute grammars as a functional programming paradigm. In G. Kahn, editor, Functional Programming Languages and Computer Architecture, number 274 in Lecture Notes in Computer Science, pages 154--173, Portland, Oregon, Sept. 1987. Springer-Verlag."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288644"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811538"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01692511"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/72811.72817"},{"key":"e_1_3_2_1_12_1","volume-title":"3th Latin-American Conference on Functional Programming, CLaPF'99","author":"Saraiva J.","year":"1999","unstructured":"J. Saraiva , S. D. Swierstra , and M. F. Kuiper . Strictification of computations on trees . In 3th Latin-American Conference on Functional Programming, CLaPF'99 , 1999 . J. Saraiva, S. D. Swierstra, and M. F. Kuiper. Strictification of computations on trees. In 3th Latin-American Conference on Functional Programming, CLaPF'99, 1999."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006990"}],"event":{"name":"IFL '13: The 25th symposium on Implementation and Application of Functional Languages","acronym":"IFL '13","location":"Nijmegen Netherlands"},"container-title":["Proceedings of the 25th symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620678.2620687","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2620678.2620687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:03:33Z","timestamp":1750273413000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2620678.2620687"}},"subtitle":["From Bird to Pettorossi and back"],"short-title":[],"issued":{"date-parts":[[2013,8,28]]},"references-count":12,"alternative-id":["10.1145\/2620678.2620687","10.1145\/2620678"],"URL":"https:\/\/doi.org\/10.1145\/2620678.2620687","relation":{},"subject":[],"published":{"date-parts":[[2013,8,28]]},"assertion":[{"value":"2013-08-28","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}