{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:39:04Z","timestamp":1750307944650,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,2]],"date-time":"2007-10-02T00:00:00Z","timestamp":1191283200000},"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":[[2007,10,2]]},"DOI":"10.1145\/1292535.1292543","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T12:51:38Z","timestamp":1192366298000},"page":"47-52","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Status report"],"prefix":"10.1145","author":[{"given":"David","family":"Herman","sequence":"first","affiliation":[{"name":"Northeastern University, Boston, MA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cormac","family":"Flanagan","sequence":"additional","affiliation":[{"name":"University of California at Santa Cruz, Santa Cruz, CA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2007,10,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_19"},{"key":"e_1_3_2_1_2_1","first-page":"1","volume-title":"Proceedings of the Third International Symposium on Programming Language Implementation and Logic Programming","author":"Andrew","year":"1991"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013963.1013987"},{"volume-title":"Information Processing 86, pages 1069--1076, 1986. International Federation of Information Processing (IFIP) Congress '86","author":"Brooks Frederick P.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167504"},{"key":"e_1_3_2_1_6_1","unstructured":"Ecma 2007. ECMAScript Edition 4 specification wiki 2007. URL http:\/\/wiki.ecmascript.org.  Ecma 2007. ECMAScript Edition 4 specification wiki 2007. URL http:\/\/wiki.ecmascript.org."},{"key":"e_1_3_2_1_7_1","unstructured":"Ecma 2006. C} Language Specification. Ecma International 4th edition 2006. ECMA-334.  Ecma 2006. C} Language Specification. Ecma International 4th edition 2006. ECMA-334."},{"key":"e_1_3_2_1_8_1","unstructured":"Ecma 1999. ECMAScript Language Specification. Ecma International 3rd edition 1999. ECMA-262.  Ecma 1999. ECMAScript Language Specification. Ecma International 3rd edition 1999. ECMA-262."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317779"},{"key":"e_1_3_2_1_10_1","unstructured":"Jesse J. Garrett. Ajax: A new approach to web applications 2005.  Jesse J. Garrett. Ajax: A new approach to web applications 2005."},{"key":"e_1_3_2_1_11_1","first-page":"0","volume":"200","author":"Gosling James","journal-title":"Mass."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291177"},{"volume-title":"Trends in Functional Programming","year":"2007","author":"Herman David","key":"e_1_3_2_1_13_1"},{"key":"e_1_3_2_1_14_1","unstructured":"Waldemar Horwat. ECMAScript edition 3 errata June 2003a. URL http:\/\/www.mozilla.org\/js\/language\/E262-3-errata.html.  Waldemar Horwat. ECMAScript edition 3 errata June 2003a. URL http:\/\/www.mozilla.org\/js\/language\/E262-3-errata.html."},{"volume-title":"Lightweight Languages Workshop (LL1)","year":"2001","author":"Horwat Waldemar","key":"e_1_3_2_1_15_1"},{"key":"e_1_3_2_1_16_1","unstructured":"Waldemar Horwat. ECMAScript 4 Netscape proposal June 2003b. URL http:\/\/www.mozilla.org\/js\/language\/old--es4.  Waldemar Horwat. ECMAScript 4 Netscape proposal June 2003b. URL http:\/\/www.mozilla.org\/js\/language\/old--es4."},{"key":"e_1_3_2_1_17_1","unstructured":"Waldemar Horwat. JavaScript 2.0 experimental semantics 2003c. URL http:\/\/lxr.mozilla.org\/mozilla\/source\/js2\/semantics\/.  Waldemar Horwat. JavaScript 2.0 experimental semantics 2003c. URL http:\/\/lxr.mozilla.org\/mozilla\/source\/js2\/semantics\/."},{"key":"e_1_3_2_1_18_1","unstructured":"LtU 2006. Specifying ECMAScript via ML November 2006. URL http:\/\/lambda-the-ultimate.org\/node\/1784.  LtU 2006. Specifying ECMAScript via ML November 2006. URL http:\/\/lambda-the-ultimate.org\/node\/1784."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25979-4_21"},{"volume-title":"The MIT Press","year":"1997","author":"Milner Robin","key":"e_1_3_2_1_20_1"},{"key":"e_1_3_2_1_21_1","unstructured":"Monotone 2007. Monotone: Distributed version control 2007. URL http:\/\/monotone.ca\/.  Monotone 2007. Monotone: Distributed version control 2007. URL http:\/\/monotone.ca\/."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_23_1","unstructured":"Neil Schemenauer Tim Peters and Magnus Lie Hetland. Simple generators May 2001. URL http:\/\/www.python.org\/dev\/peps\/pep-0255\/. PEP-255.  Neil Schemenauer Tim Peters and Magnus Lie Hetland. Simple generators May 2001. URL http:\/\/www.python.org\/dev\/peps\/pep-0255\/. PEP-255."},{"volume-title":"Scheme and Functional Programming Workshop","year":"2006","author":"Jeremy","key":"e_1_3_2_1_24_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_28"},{"key":"e_1_3_2_1_27_1","unstructured":"Trac 2007. The Trac Project 2007. URL http:\/\/trac.edgewall.org\/.  Trac 2007. The Trac Project 2007. URL http:\/\/trac.edgewall.org\/."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/38765.38828"},{"key":"e_1_3_2_1_29_1","unstructured":"Guido van Rossum and Phillip J. Eby. Coroutines via enhanced generators May 2005. URL http:\/\/www.python.org\/dev\/peps\/pep-0342\/.  Guido van Rossum and Phillip J. Eby. Coroutines via enhanced generators May 2005. URL http:\/\/www.python.org\/dev\/peps\/pep-0342\/."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Eelco\n       \n      Visser\n    .\n      \n  \n   \n  Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp editor Rewriting Techniques and Applications (RTA'01) volume \n  2051\n   of \n  Lecture Notes in Computer Science pages \n  357\n  --\n  361\n  . \n  Springer-Verlag May \n  2001\n  .   Eelco Visser. Stratego: A language for program transformation based on rewriting strategies. System description of Stratego 0.5. In A. Middeldorp editor Rewriting Techniques and Applications (RTA'01) volume 2051 of Lecture Notes in Computer Science pages 357--361. Springer-Verlag May 2001.","DOI":"10.1007\/3-540-45127-7_27"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159876.1159877"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Freiburg Germany","acronym":"ICFP07"},"container-title":["Proceedings of the 2007 workshop on Workshop on ML"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292543","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1292535.1292543","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:52:27Z","timestamp":1750258347000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1292535.1292543"}},"subtitle":["specifying javascript with ML"],"short-title":[],"issued":{"date-parts":[[2007,10,2]]},"references-count":31,"alternative-id":["10.1145\/1292535.1292543","10.1145\/1292535"],"URL":"https:\/\/doi.org\/10.1145\/1292535.1292543","relation":{},"subject":[],"published":{"date-parts":[[2007,10,2]]},"assertion":[{"value":"2007-10-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}