{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:16:24Z","timestamp":1763468184251,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,6,9]],"date-time":"2014-06-09T00:00:00Z","timestamp":1402272000000},"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,6,9]]},"DOI":"10.1145\/2617548.2617553","type":"proceedings-article","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T18:18:31Z","timestamp":1401473911000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Typed Lua"],"prefix":"10.1145","author":[{"given":"Andr\u00e9 Murbach","family":"Maidl","sequence":"first","affiliation":[{"name":"PUC-Rio, Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Mascarenhas","sequence":"additional","affiliation":[{"name":"UFRJ, Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Ierusalimschy","sequence":"additional","affiliation":[{"name":"PUC-Rio, Rio de Janeiro, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,6,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75296"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926409"},{"volume-title":"Science of Computer Programming","year":"2013","author":"Allende E.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2508168.2508171"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2445196.2445240"},{"volume-title":"Proceedings of the Workshop on Extending the Smalltalk Language, OOPSLA","year":"1996","author":"Bracha G.","key":"e_1_3_2_1_6_1"},{"volume-title":"Proceedings of the Workshop on Revival of Dynamic Languages, OOPSLA","year":"2004","author":"Bracha G.","key":"e_1_3_2_1_7_1"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_11_1","unstructured":"F. Fleutot. Tidal Lock: Gradual static typing for Lua. https:\/\/github.com\/fab13n\/metalua\/tree\/tilo\/src\/tilo 2013. {Visited on Februrary 2014}.  F. Fleutot. Tidal Lock: Gradual static typing for Lua. https:\/\/github.com\/fab13n\/metalua\/tree\/tilo\/src\/tilo 2013. {Visited on Februrary 2014}."},{"key":"e_1_3_2_1_12_1","unstructured":"Google. Dart. https:\/\/www.dartlang.org\/ 2011. {Visited on February 2014}.  Google. Dart. https:\/\/www.dartlang.org\/ 2011. {Visited on February 2014}."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1987211.1987225"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(94)00004-2"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489798.2489799"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_3_2_1_17_1","first-page":"20","volume-title":"First International Workshop on the Theory and Practice of Delimited Continuations (TPDC 2011","author":"James R. P.","year":"2011"},{"key":"e_1_3_2_1_18_1","unstructured":"Microsoft. TypeScript. http:\/\/www.typescriptlang.org\/ 2012. {Visited on Februrary 2014}.  Microsoft. TypeScript. http:\/\/www.typescriptlang.org\/ 2012. {Visited on Februrary 2014}."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462166.1462167"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489804.2489810"},{"key":"e_1_3_2_1_21_1","first-page":"16209","volume-title":"MIT Press","author":"Pierce B. C.","year":"2002"},{"key":"e_1_3_2_1_22_1","first-page":"81","volume-title":"Scheme and Functional Programming Workshop","author":"Siek J. G.","year":"2006"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1706299.1706342"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/800068.802140"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384674"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96747"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863561"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076674.2076680"}],"event":{"name":"PLDI '14: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Edinburgh United Kingdom","acronym":"PLDI '14"},"container-title":["Proceedings of the Workshop on Dynamic Languages and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2617548.2617553","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2617548.2617553","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:00Z","timestamp":1750229760000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2617548.2617553"}},"subtitle":["An Optional Type System for Lua"],"short-title":[],"issued":{"date-parts":[[2014,6,9]]},"references-count":32,"alternative-id":["10.1145\/2617548.2617553","10.1145\/2617548"],"URL":"https:\/\/doi.org\/10.1145\/2617548.2617553","relation":{},"subject":[],"published":{"date-parts":[[2014,6,9]]},"assertion":[{"value":"2014-06-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}