{"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":1750308544748,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"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.2620686","type":"proceedings-article","created":{"date-parts":[[2014,10,31]],"date-time":"2014-10-31T19:32:56Z","timestamp":1414783976000},"page":"73-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["First Class Syntax, Semantics, and Their Composition"],"prefix":"10.1145","author":[{"given":"Marcos","family":"Viera","sequence":"first","affiliation":[{"name":"Instituto de Computaci\u00f3n, Universidad de la Rep\u00fablica, Montevideo, Uruguay"}]},{"given":"S. Doaitse","family":"Swierstra","sequence":"additional","affiliation":[{"name":"Department of Computer Science, Utrecht University, Utrecht, The Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2013,8,28]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Definite clause translation grammars. Technical report","author":"Abramson H.","year":"1984","unstructured":"H. Abramson . Definite clause translation grammars. Technical report , University of British Columbia , Vancouver, BC , Canada, Canada, 1984 . H. Abramson. Definite clause translation grammars. Technical report, University of British Columbia, Vancouver, BC, Canada, Canada, 1984."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481865"},{"key":"e_1_3_2_1_6_1","first-page":"18","volume-title":"Proceedings of the 9th Workshop on Language Descriptions Tools and Applications, ENTCS","author":"Baars A. I.","year":"2009","unstructured":"A. I. Baars , S. D. Swierstra , and M. Viera . Typed Transformations of Typed Grammars: The Left Corner Transform . In Proceedings of the 9th Workshop on Language Descriptions Tools and Applications, ENTCS , pages 18 -- 33 , 2009 . A. I. Baars, S. D. Swierstra, and M. Viera. Typed Transformations of Typed Grammars: The Left Corner Transform. In Proceedings of the 9th Workshop on Language Descriptions Tools and Applications, ENTCS, pages 18--33, 2009."},{"issue":"2","key":"e_1_3_2_1_8_1","first-page":"329","article-title":"First class attribute grammars. Informatica","volume":"24","author":"de Moor O.","year":"2000","unstructured":"O. de Moor , K. Backhouse , and S. D. Swierstra . First class attribute grammars. Informatica : An International Journal of Computing and Informatics , 24 ( 2 ): 329 -- 341 , June 2000 . ISSN ISSN 0350-5596. Special Issue: Attribute grammars and Their Applications. O. de Moor, K. Backhouse, and S. D. Swierstra. First class attribute grammars. Informatica: An International Journal of Computing and Informatics, 24(2):329--341, June 2000. ISSN ISSN 0350-5596. Special Issue: Attribute grammars and Their Applications.","journal-title":"An International Journal of Computing and Informatics"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/645416.652051"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596638.1596650"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.02.003"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159817"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006928"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/129630.129637"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944707"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(99)00023-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/36583.36593"},{"key":"e_1_3_2_1_22_1","first-page":"97","volume-title":"Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text","author":"Jones M. P.","year":"1995","unstructured":"M. P. Jones . Functional programming with overloading and higher-order polymorphism . In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text , pages 97 -- 136 , London, UK , 1995 . Springer-Verlag . ISBN 3-540-59451-5. URL http:\/\/portal.acm.org\/citation.cfm?id=647698.734150. M. P. Jones. Functional programming with overloading and higher-order polymorphism. In Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques-Tutorial Text, pages 97--136, London, UK, 1995. Springer-Verlag. ISBN 3-540-59451-5. URL http:\/\/portal.acm.org\/citation.cfm?id=647698.734150."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411298"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00288644"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01177548"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_27_1","volume-title":"Department of Computer Science","author":"Kuiper M. F.","year":"1986","unstructured":"M. F. Kuiper and S. D. Swierstra . Using attribute grammars to derive efficient functional programs. RUU-CS 86-16 , Department of Computer Science , 1986 . M. F. Kuiper and S. D. Swierstra. Using attribute grammars to derive efficient functional programs. RUU-CS 86-16, Department of Computer Science, 1986."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/365876.365879"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2011.02.018"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2426890.2426908"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2004.02.001"},{"key":"e_1_3_2_1_33_1","volume-title":"Visit Functions for the Semantics of Programming Languages. In Workshop on Generative Programming","author":"Middelkoop A.","year":"2010","unstructured":"A. Middelkoop , A. Dijkstra , and S. D. Swierstra . Visit Functions for the Semantics of Programming Languages. In Workshop on Generative Programming , 2010 . A. Middelkoop, A. Dijkstra, and S. D. Swierstra. Visit Functions for the Semantics of Programming Languages. In Workshop on Generative Programming, 2010."},{"key":"e_1_3_2_1_34_1","first-page":"55","volume-title":"Handbook of Theoretical Computer Science","author":"Mosses P.","year":"1990","unstructured":"P. Mosses . Denotational semantics . In Handbook of Theoretical Computer Science , pages 55 -- 92 . North-Holland , 1990 . P. Mosses. Denotational semantics. In Handbook of Theoretical Computer Science, pages 55--92. North-Holland, 1990."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507664"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_37_1","volume-title":"Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications","author":"Sloane A. M.","year":"2009","unstructured":"A. M. Sloane , L. C. L. Kats , and E. Visser . A pure object-oriented embedding of attribute grammars . In Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications , March 2009 . A. M. Sloane, L. C. L. Kats, and E. Visser. A pure object-oriented embedding of attribute grammars. In Proceedings of the Ninth Workshop on Language Descriptions, Tools, and Applications, March 2009."},{"key":"e_1_3_2_1_38_1","volume-title":"Haskell Workshop","author":"Swierstra S. D.","year":"2000","unstructured":"S. D. Swierstra . Parser combinators : from toys to tools. In G. Hutton, editor , Haskell Workshop , 2000 . S. D. Swierstra. Parser combinators: from toys to tools. In G. Hutton, editor, Haskell Workshop, 2000."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03153-3_6"},{"key":"e_1_3_2_1_40_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"150","DOI":"10.1007\/10704973_4","volume-title":"Advanced Functional Programming, Third International School, AFP'98","author":"Swierstra S. D.","year":"1999","unstructured":"S. D. Swierstra , P. R. Azero Alcocer , and J. A. Saraiva . Designing and implementing combinator languages . In S. D. Swierstra, P. Henriques, and J. Oliveira, editors, Advanced Functional Programming, Third International School, AFP'98 , volume 1608 of LNCS , pages 150 -- 206 . Springer-Verlag , 1999 . S. D. Swierstra, P. R. Azero Alcocer, and J. A. Saraiva. Designing and implementing combinator languages. In S. D. Swierstra, P. Henriques, and J. Oliveira, editors, Advanced Functional Programming, Third International School, AFP'98, volume 1608 of LNCS, pages 150--206. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.07.004"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33182-4_12"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596586"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427048.2427053"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/2427048.2427054"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155105"},{"key":"e_1_3_2_1_48_1","volume-title":"International computer science series","author":"Wirth N.","year":"1996","unstructured":"N. Wirth . Compiler construction. International computer science series . Addison-Wesley , 1996 . ISBN 978-0-201-40353-4. N. Wirth. Compiler construction. International computer science series. Addison-Wesley, 1996. ISBN 978-0-201-40353-4."}],"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.2620686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2620678.2620686","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.2620686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,28]]},"references-count":43,"alternative-id":["10.1145\/2620678.2620686","10.1145\/2620678"],"URL":"https:\/\/doi.org\/10.1145\/2620678.2620686","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"}}]}}