{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:55:33Z","timestamp":1760043333003,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T00:00:00Z","timestamp":1389398400000},"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":[[2014,1,11]]},"DOI":"10.1145\/2543728.2543735","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"145-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Lazy stateless incremental evaluation machinery for attribute grammars"],"prefix":"10.1145","author":[{"given":"Jeroen","family":"Bransen","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Atze","family":"Dijkstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"S. Doaitse","family":"Swierstra","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2014,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1133981.1133993"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502488.2502490"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-27694-1_14"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254100"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034792"},{"key":"e_1_3_2_1_6_1","volume-title":"First-class phantom types. Technical report","author":"Cheney J.","year":"2003","unstructured":"Cheney , J. and Hinze , R . ( 2003 ). First-class phantom types. Technical report , Cornell University . Cheney, J. and Hinze, R. (2003). First-class phantom types. Technical report, Cornell University."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351266"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/567532.567544"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596650"},{"key":"e_1_3_2_1_10_1","volume-title":"Reference attributed grammars. Informatica (Slovenia), 24(3)","author":"Hedin G.","year":"2000","unstructured":"Hedin , G. ( 2000 ). Reference attributed grammars. Informatica (Slovenia), 24(3) . Hedin, G. (2000). Reference attributed grammars. Informatica (Slovenia), 24(3)."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002864"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288644"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/800168.811538"},{"issue":"2","key":"e_1_3_2_1_15_1","first-page":"127","article-title":"Semantics of context-free languages","volume":"2","author":"Knuth D. E.","year":"1968","unstructured":"Knuth , D. E. ( 1968 ). Semantics of context-free languages . Theory of Computing Systems , 2 ( 2 ): 127 -- 145 . Knuth, D. E. (1968). Semantics of context-free languages. Theory of Computing Systems, 2(2):127--145.","journal-title":"Theory of Computing Systems"},{"key":"e_1_3_2_1_16_1","volume-title":"Criterion: Robust, reliable performance measurement and analysis","author":"O'Sullivan B.","year":"2009","unstructured":"O'Sullivan , B. ( 2009 ). Criterion: Robust, reliable performance measurement and analysis . http:\/\/hackage.haskell.org\/package\/criterion. O'Sullivan, B. (2009). Criterion: Robust, reliable performance measurement and analysis. http:\/\/hackage.haskell.org\/package\/criterion."},{"key":"e_1_3_2_1_17_1","volume-title":"Haskell 98, Language and Libraries. The Revised Report","author":"Peyton Jones S. L.","year":"2003","unstructured":"Peyton Jones , S. L. ( 2003 ). Haskell 98, Language and Libraries. The Revised Report . Cambridge University Press . Journal of Functional Programming Special Issue 13(1). Peyton Jones, S. L. (2003). Haskell 98, Language and Libraries. The Revised Report. Cambridge University Press. Journal of Functional Programming Special Issue 13(1)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158710"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/390011.808247"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/647476.727632"},{"key":"e_1_3_2_1_21_1","volume-title":"Proxima -- a presentation-oriented editor","author":"Schrage M. M.","year":"2004","unstructured":"Schrage , M. M. ( 2004 ). Proxima -- a presentation-oriented editor for structured documents. PhD thesis, Utrecht University , The Netherlands. Schrage, M. M. (2004). Proxima -- a presentation-oriented editor for structured documents. PhD thesis, Utrecht University, The Netherlands."},{"key":"e_1_3_2_1_22_1","first-page":"150","volume-title":"Advanced Functional Programming","author":"Swierstra S. D.","year":"1998","unstructured":"Swierstra , S. D. , Alcocer , P. R. A. , and Saraiva , J . ( 1998 ). Designing and Implementing Combinator Languages . In Advanced Functional Programming , pages 150 -- 206 . Swierstra, S. D., Alcocer, P. R. A., and Saraiva, J. (1998). Designing and Implementing Combinator Languages. In Advanced Functional Programming, pages 150--206."},{"key":"e_1_3_2_1_23_1","series-title":"LNCS-Tutorial","doi-asserted-by":"crossref","first-page":"184","DOI":"10.1007\/3-540-61628-4_7","volume-title":"Advanced Functional Programming","author":"Swierstra S. D.","year":"1996","unstructured":"Swierstra , S. D. and Duponcheel , L . ( 1996 ). Deterministic, error-correcting combinator parsers . In Launchbury, J., Meijer, E., and Sheard, T., editors, Advanced Functional Programming , volume 1129 of LNCS-Tutorial , pages 184 -- 207 . Springer-Verlag . Swierstra, S. D. and Duponcheel, L. (1996). Deterministic, error-correcting combinator parsers. In Launchbury, J., Meijer, E., and Sheard, T., editors, Advanced Functional Programming, volume 1129 of LNCS-Tutorial, pages 184--207. Springer-Verlag."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/73141.74830"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_102"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/91556.91592"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/57669.57672"}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Diego California USA","acronym":"POPL '14"},"container-title":["Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543735","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2543728.2543735","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:15Z","timestamp":1750234215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543735"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1,11]]},"references-count":27,"alternative-id":["10.1145\/2543728.2543735","10.1145\/2543728"],"URL":"https:\/\/doi.org\/10.1145\/2543728.2543735","relation":{},"subject":[],"published":{"date-parts":[[2014,1,11]]},"assertion":[{"value":"2014-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}