{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T21:13:34Z","timestamp":1760044414873,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,21]],"date-time":"2019-10-21T00:00:00Z","timestamp":1571616000000},"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":[[2019,10,21]]},"DOI":"10.1145\/3357390.3361032","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"105-116","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Static TypeScript: an implementation of a static compiler for the TypeScript language"],"prefix":"10.1145","author":[{"given":"Thomas","family":"Ball","sequence":"first","affiliation":[{"name":"Microsoft Research, USA"}]},{"given":"Peli","family":"de Halleux","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]},{"given":"Micha\u0142","family":"Moskal","sequence":"additional","affiliation":[{"name":"Microsoft Research, USA"}]}],"member":"320","published-online":{"date-parts":[[2019,10,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Jonny Austin Howard Baker Thomas Ball James Devine Joe Finney Peli de Halleux Steve Hodges Michal Moskal and Gareth Stockdale. 2019. The BBC micro:bit \u2013 from the UK to the World. Commun. ACM (to appear) (2019). Jonny Austin Howard Baker Thomas Ball James Devine Joe Finney Peli de Halleux Steve Hodges Michal Moskal and Gareth Stockdale. 2019. The BBC micro:bit \u2013 from the UK to the World. Commun. ACM (to appear) (2019).","DOI":"10.1145\/3368856"},{"key":"e_1_3_2_1_2_1","unstructured":"BBC. 2017. BBC micro:bit celebrates huge impact in first year with 90% of students saying it helped show that anyone can code. https: \/\/www.bbc.co.uk\/mediacentre\/latestnews\/2017\/microbit-first-year . BBC. 2017. BBC micro:bit celebrates huge impact in first year with 90% of students saying it helped show that anyone can code. https: \/\/www.bbc.co.uk\/mediacentre\/latestnews\/2017\/microbit-first-year ."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_11"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380251203"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984017"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-48288-9_11"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3211332.3211335"},{"volume-title":"SPLASH Companion","year":"2015","author":"Gavrin Evgeny","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","unstructured":"Damien George. 2018. MicroPython. http:\/\/www.micropython.org . Damien George. 2018. MicroPython. http:\/\/www.micropython.org ."},{"key":"e_1_3_2_1_10_1","unstructured":"Isaac Gouy. 2018. The Computer Language Benchmarks Game. https: \/\/benchmarksgame-team.pages.debian.net\/benchmarksgame\/ . Isaac Gouy. 2018. The Computer Language Benchmarks Game. https: \/\/benchmarksgame-team.pages.debian.net\/benchmarksgame\/ ."},{"key":"e_1_3_2_1_11_1","unstructured":"Apple Inc. 2018. JetStream Benchmarks 1.1. https:\/\/www. browserbench.org\/JetStream\/in-depth.html . Apple Inc. 2018. JetStream Benchmarks 1.1. https:\/\/www. browserbench.org\/JetStream\/in-depth.html ."},{"key":"e_1_3_2_1_12_1","unstructured":"Adafruit Industries. 2018. CircuitPython. https:\/\/github.com\/adafruit\/ circuitpython . Adafruit Industries. 2018. CircuitPython. https:\/\/github.com\/adafruit\/ circuitpython ."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2676726.2676971"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2015.76"},{"key":"e_1_3_2_1_15_1","unstructured":"Samsung. 2018. JerryScript. http:\/\/jerryscript.org . Samsung. 2018. JerryScript. http:\/\/jerryscript.org ."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3017680.3017749"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276945.3276950"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_19_1","unstructured":"Artifex Software. 2018. MuJS. https:\/\/mujs.com\/ . Artifex Software. 2018. MuJS. https:\/\/mujs.com\/ ."},{"key":"e_1_3_2_1_20_1","unstructured":"Cesanta Software. 2018. mJS. https:\/\/github.com\/cesanta\/mjs . Cesanta Software. 2018. mJS. https:\/\/github.com\/cesanta\/mjs ."},{"key":"e_1_3_2_1_21_1","unstructured":"Patrick Soquet. 2017. XS7. https:\/\/www.moddable.com\/XS7-TC-39 . Patrick Soquet. 2017. XS7. https:\/\/www.moddable.com\/XS7-TC-39 ."},{"key":"e_1_3_2_1_22_1","unstructured":"Sami Vaarala. 2018. DukTape. https:\/\/duktape.org\/ . Sami Vaarala. 2018. DukTape. https:\/\/duktape.org\/ ."},{"key":"e_1_3_2_1_23_1","unstructured":"Gordon Williams. 2017. Making Things Smart: Easy Embedded JavaScript Programming for Making Everyday Objects into Intelligent Machines. Maker Media. Gordon Williams. 2017. Making Things Smart: Easy Embedded JavaScript Programming for Making Everyday Objects into Intelligent Machines. Maker Media."}],"event":{"name":"MPLR '19: 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"MPLR '19"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361032","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3357390.3361032","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:21Z","timestamp":1750202601000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3357390.3361032"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,21]]},"references-count":23,"alternative-id":["10.1145\/3357390.3361032","10.1145\/3357390"],"URL":"https:\/\/doi.org\/10.1145\/3357390.3361032","relation":{},"subject":[],"published":{"date-parts":[[2019,10,21]]},"assertion":[{"value":"2019-10-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}