{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T00:03:38Z","timestamp":1755993818707,"version":"3.44.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,12]]},"DOI":"10.1145\/3732771.3742709","type":"proceedings-article","created":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T11:04:43Z","timestamp":1750158283000},"page":"3-15","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Handling Grammar Cycles in the 1997 SML Definition"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5907-8513","authenticated-orcid":false,"given":"Elizabeth","family":"Scott","sequence":"first","affiliation":[{"name":"Computer Science, Royal Holloway, Univeristy of London, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9446-9701","authenticated-orcid":false,"given":"Adrian","family":"Johnstone","sequence":"additional","affiliation":[{"name":"Computer Science, Royal Holloway, Univeristy of London, Egham, Surrey, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,17]]},"reference":[{"unstructured":"2013. HaMLet; SML reference interpreter. hpeople.mpi-sws.org\/~rossberg\/hamlet\/.","key":"e_1_3_2_1_1_1"},{"key":"e_1_3_2_1_2_1","volume-title":"Ullman","author":"Aho Alfred V.","year":"2006","unstructured":"Alfred V. Aho, Monica S. Lam, Ravi Sethi, and Jeffrey D. Ullman. 2006. Compilers: principles, techniques, and tools, 2nd edition. Addison-Wesley.","edition":"2"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.3115\/981623.981641"},{"volume-title":"Generalized LR parsing","author":"Johnson Mark","unstructured":"Mark Johnson. 1991. The computational complexity of GLR parsing. In Generalized LR parsing, Masaru Tomita (Ed.). Kluwer Academic Publishers, The Netherlands, 35--42.","key":"e_1_3_2_1_4_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_5_1","DOI":"10.1007\/978-3-642-19440-5_20"},{"unstructured":"Stefan Kahrs. 1994. Mistakes and Ambiguities in the Definition of Standard ML. www.cs.kent.ac.uk\/pubs\/1993\/569\/ Univeristy of Edinburgh Technical Report ECS-LFCS-93-257.","key":"e_1_3_2_1_6_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_8_1","volume-title":"Rascal: A domain specific language for source code analysis and manipulation. In Source Code Analysis and Manipulation","author":"Klint P.","year":"2009","unstructured":"P. Klint, T. van der Storm, and J. Vinju. 2009. Rascal: A domain specific language for source code analysis and manipulation. In Source Code Analysis and Manipulation. IEEE, 108--177."},{"volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, MA.","key":"e_1_3_2_1_9_1"},{"unstructured":"Andreas Rossberg. 2013. Defects in the Revised Definition of Standard ML. people.mpi-sws.org\/~ rossberg\/papers\/sml-defects-2013-09-18.pdf.","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1016\/j.scico.2012.03.005"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_12_1","DOI":"10.1016\/j.scico.2018.06.001"},{"key":"e_1_3_2_1_13_1","volume-title":"Analysing the SML97 Definition: Lexicalisation. In Eelco Visser Commemorative Symposium (EVCS 2023)","volume":"12","author":"Scott Elizabeth","year":"2023","unstructured":"Elizabeth Scott and Adrian Johnstone. 2023. Analysing the SML97 Definition: Lexicalisation. In Eelco Visser Commemorative Symposium (EVCS 2023) (Open Access Series in Informatics (OASIcs), Vol. 109). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 23:1--23:12."},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_14_1","DOI":"10.1007\/s00236-007-0054-z"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_15_1","DOI":"10.1145\/3594734"},{"volume-title":"Generalized LR parsing","author":"Tomita Masaru","unstructured":"Masaru Tomita. 1991. Generalized LR parsing. Kluwer Academic Publishers, The Netherlands.","key":"e_1_3_2_1_16_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_17_1","DOI":"10.1145\/567097.567099"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SLE '25","name":"SLE '25: 18th ACM SIGPLAN International Conference on Software Language Engineering","location":"Koblenz Germany"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Conference on Software Language Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3732771.3742709","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,23]],"date-time":"2025-08-23T02:19:38Z","timestamp":1755915578000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3732771.3742709"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,12]]},"references-count":17,"alternative-id":["10.1145\/3732771.3742709","10.1145\/3732771"],"URL":"https:\/\/doi.org\/10.1145\/3732771.3742709","relation":{},"subject":[],"published":{"date-parts":[[2025,6,12]]},"assertion":[{"value":"2025-06-17","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}