{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,13]],"date-time":"2026-04-13T10:06:53Z","timestamp":1776074813422,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662442012","type":"print"},{"value":"9783662442029","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44202-9_11","type":"book-chapter","created":{"date-parts":[[2014,7,17]],"date-time":"2014-07-17T02:01:13Z","timestamp":1405562473000},"page":"257-281","source":"Crossref","is-referenced-by-count":130,"title":["Understanding TypeScript"],"prefix":"10.1007","author":[{"given":"Gavin","family":"Bierman","sequence":"first","affiliation":[]},{"given":"Mart\u00edn","family":"Abadi","sequence":"additional","affiliation":[]},{"given":"Mads","family":"Torgersen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Abadi, M., Cardelli, L.: A theory of objects. Springer (1996)","DOI":"10.1007\/978-1-4419-8598-9"},{"key":"11_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1007\/11531142_19","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"C. Anderson","year":"2005","unstructured":"Anderson, C., Giannini, P., Drossopoulou, S.: Towards type inference for javaScript. In: Gao, X.-X. (ed.) ECOOP 2005. LNCS, vol.\u00a03586, pp. 428\u2013452. Springer, Heidelberg (2005)"},{"key":"11_CR3","unstructured":"Bierman, G., Parkinson, M., Pitts, A.: MJ: An imperative core calculus for Java and Java with effects. Technical Report 563, University of Cambridge Computer Laboratory (2003)"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"Chugh, R., Herman, D., Jhala, R.: Dependent types for JavaScript. In: Proceedings of OOSLA (2012)","DOI":"10.1145\/2384616.2384659"},{"key":"11_CR5","unstructured":"Crockford, D.: JavaScript: The good parts. O\u2019Reilly (2008)"},{"issue":"6","key":"11_CR6","first-page":"511","volume":"12","author":"V. Gapeyev","year":"2002","unstructured":"Gapeyev, V., Levin, M., Pierce, B.: Recursive subtyping revealed. JFP\u00a012(6), 511\u2013548 (2002)","journal-title":"JFP"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Gardner, P., Maffeis, S., Smith, G.: Towards a program logic for JavaScript. In: Proceedings of POPL (2013)","DOI":"10.1145\/2103656.2103663"},{"key":"11_CR8","unstructured":"Google. Dart programming language, \n                    \n                      http:\/\/www.dartlang.org"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1007\/978-3-642-19718-5_14","volume-title":"Programming Languages and Systems","author":"A. Guha","year":"2011","unstructured":"Guha, A., Saftoiu, C., Krishnamurthi, S.: Typing local control and state using flow analysis. In: Barthe, G. (ed.) ESOP 2011. LNCS, vol.\u00a06602, pp. 256\u2013275. Springer, Heidelberg (2011)"},{"issue":"3","key":"11_CR10","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A. Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B., Wadler, P.: Featherweight Java: A minimal core calculus for Java and GJ. ACM TOPLAS\u00a023(3), 396\u2013450 (2001)","journal-title":"ACM TOPLAS"},{"key":"11_CR11","unstructured":"Microsoft Corporation. TypeScript Language Specification, 0.9.5 edn. (2014), \n                    \n                      http:\/\/typescriptlang.org"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Pierce, B., Turner, D.: Local type inference. In: Proceedings of POPL (1998)","DOI":"10.1145\/268946.268967"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/3-540-63165-8_221","volume-title":"Automata, Languages and Programming","author":"G. S\u00e9nizergues","year":"1997","unstructured":"S\u00e9nizergues, G.: The equivalence problem for deterministic pushdown automata is decidable. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol.\u00a01256, pp. 671\u2013681. Springer, Heidelberg (1997)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-73589-2_2","volume-title":"ECOOP 2007 \u2013 Object-Oriented Programming","author":"J.G. Siek","year":"2007","unstructured":"Siek, J.G., Taha, W.: Gradual typing for objects. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol.\u00a04609, pp. 2\u201327. Springer, Heidelberg (2007)"},{"key":"11_CR15","doi-asserted-by":"crossref","unstructured":"Swamy, N., Fournet, C., Rastogi, A., Bhargavan, K., Chen, J., Strub, P.-Y., Bierman, G.: Gradual typing embedded securely in JavaScript. In: Proceedings of POPL (2014)","DOI":"10.1145\/2535838.2535889"},{"key":"11_CR16","doi-asserted-by":"crossref","unstructured":"Solomon, M.H.: Type definitions with parameters. In: Proceedings of POPL (1978)","DOI":"10.1145\/512760.512765"},{"key":"11_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"408","DOI":"10.1007\/978-3-540-31987-0_28","volume-title":"Programming Languages and Systems","author":"P. Thiemann","year":"2005","unstructured":"Thiemann, P.: Towards a type system for analyzing javaScript programs. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol.\u00a03444, pp. 408\u2013422. Springer, Heidelberg (2005)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Tobin-Hochstadt, S., Felleisen, M.: The design and implementation of Typed Scheme. In: Proceedings of POPL (2008)","DOI":"10.1145\/1328438.1328486"},{"key":"11_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00590-9_1","volume-title":"Programming Languages and Systems","author":"P. Wadler","year":"2009","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 1\u201316. Springer, Heidelberg (2009)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2014 \u2013 Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44202-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T10:36:09Z","timestamp":1558953369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44202-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662442012","9783662442029"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44202-9_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}