{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:41:18Z","timestamp":1770277278724,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540279921","type":"print"},{"value":"9783540317258","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11531142_19","type":"book-chapter","created":{"date-parts":[[2010,12,20]],"date-time":"2010-12-20T17:28:49Z","timestamp":1292866129000},"page":"428-452","source":"Crossref","is-referenced-by-count":130,"title":["Towards Type Inference for JavaScript"],"prefix":"10.1007","author":[{"given":"Christopher","family":"Anderson","sequence":"first","affiliation":[]},{"given":"Paola","family":"Giannini","sequence":"additional","affiliation":[]},{"given":"Sophia","family":"Drossopoulou","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4419-8598-9","volume-title":"A Theory of Objects","author":"M. Abadi","year":"1996","unstructured":"Abadi, M., Cardelli, L.: A Theory of Objects. Springer, New York (1996)"},{"key":"19_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/3-540-49538-X_2","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"O. Agesen","year":"1995","unstructured":"Agesen, O.: The Cartesian Product Algorithm: Simple and Precise Type Inference of Parametric Polymorphism. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 2\u201326. Springer, Heidelberg (1995)"},{"issue":"9","key":"19_CR3","doi-asserted-by":"publisher","first-page":"975","DOI":"10.1002\/spe.4380250903","volume":"25","author":"O. Agesen","year":"1995","unstructured":"Agesen, O., Palsberg, J., Schwartzbach, M.I.: Type inference of SELF: Analysis of objects with dynamic and multiple inheritance. Softw., Pract. Exper.\u00a025(9), 975\u2013995 (1995)","journal-title":"Softw., Pract. Exper."},{"issue":"4","key":"19_CR4","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"Amadio, R.M., Cardelli, L.: Subtyping recursive types. ACM Transactions on Programming Languages and Systems\u00a015(4), 575\u2013631 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"19_CR5","series-title":"ENTCS","volume-title":"WOOD 2003","author":"C. Anderson","year":"2003","unstructured":"Anderson, C., Barbanera, F., Dezani-Ciancaglini, M., Drossopoulou, S.: Can addresses be types (a case study: objects with delegation). In: WOOD 2003. ENTCS, vol.\u00a082. Elsevier, Amsterdam (2003)"},{"key":"19_CR6","series-title":"WOOD of ENTCS","volume-title":"WOOD 2004","author":"C. Anderson","year":"2004","unstructured":"Anderson, C., Giannini, P.: Type checking for javascript. In: WOOD 2004. WOOD of ENTCS. Elsevier, Amsterdam (2004), \n                    \n                      http:\/\/www.binarylord.com\/work\/js0wood.pdf"},{"key":"19_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"462","DOI":"10.1007\/BFb0054104","volume-title":"ECOOP \u201998 - Object-Oriented Programming","author":"V. Bono","year":"1998","unstructured":"Bono, V., Fisher, K.: An Imperative, First-Order Calculus with Object Extension. In: Jul, E. (ed.) ECOOP 1998. LNCS, vol.\u00a01445, pp. 462\u2013497. Springer, Heidelberg (1998)"},{"key":"19_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/3-540-49538-X_3","volume-title":"ECOOP \u201995 - Object-Oriented Programming","author":"K. Bruce","year":"1995","unstructured":"Bruce, K., Schuett, A., van Gent, R.: PolyTOIL: A type-safe polymorphic object-oriented language. In: Olthoff, W. (ed.) ECOOP 1995. LNCS, vol.\u00a0952, pp. 27\u201351. Springer, Heidelberg (1995)"},{"key":"19_CR9","series-title":"ENTCS","volume-title":"WOOD 2003","author":"F. Damiani","year":"2003","unstructured":"Damiani, F., Giannini, P.: Alias types for environment aware computations. In: WOOD 2003. ENTCS, vol.\u00a082. Elsevier, Amsterdam (2003)"},{"key":"19_CR10","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1145\/217838.217858","volume-title":"Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1995)","author":"J. Eifrig","year":"1995","unstructured":"Eifrig, J., Smith, S.F., Trifonov, V.: Sound polymorphic type inference for objects. In: Proc. Object-Oriented Programming Systems, Languages, and Applications (OOPSLA 1995), pp. 169\u2013184. ACM Press, New York (1995)"},{"key":"19_CR11","unstructured":"Le\u00a0Hors, A., et al.: Document Object Model (DOM) Level 3 Core Specification. Technical report (1998), \n                    \n                      http:\/\/www.w3.org\/TR\/2003\/CR-DOM-Level-3-Core-20031107"},{"key":"19_CR12","unstructured":"Agesen, O., et al.: The SELF 4.0 Programmer\u2019s Reference Manual (1995), \n                    \n                      http:\/\/research.sun.com\/self\/"},{"key":"19_CR13","unstructured":"Fisher, K.: Type Systems for Object-Oriented Programming Languages. PhD thesis, Stanford University, Available as Stanford Computer Science Technical Report number STAN-CS-TR-98-1602 (1996)"},{"issue":"1","key":"19_CR14","first-page":"3","volume":"1","author":"K. Fisher","year":"1994","unstructured":"Fisher, K., Honsell, F., Mitchell, J.C.: A Lambda Calculus of Objects and Method Specialization. Nordic Journal of Computing\u00a01(1), 3\u201337 (1994); A preliminary version appeared In: Proc. of IEEE Symp. LICS 1993 (1993)","journal-title":"Nordic Journal of Computing"},{"key":"19_CR15","volume-title":"JavaScript - The Definitive Guide","author":"D. Flanagan","year":"1998","unstructured":"Flanagan, D.: JavaScript - The Definitive Guide. O\u2019Reilly, Sebastopol (1998)"},{"key":"19_CR16","unstructured":": ECMAScript Language Specification. ECMA International. ECMA-262, 3rd edn. (december 1999), \n                    \n                      http:\/\/www.ecma-international.org\/publications\/files\/ECMA-ST\/Ecma-262.pdf"},{"issue":"3","key":"19_CR17","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From system f to typed assembly language. ACM Trans. Program. Lang. Syst.\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"19_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/BFb0053045","volume-title":"ECOOP \u201992 European Conference on Object-Oriented Programming","author":"N. Oxhoj","year":"1992","unstructured":"Oxhoj, N., Palsberg, J., Schwartzbach, M.I.: Making type inference practical. In: Lehrmann Madsen, O. (ed.) ECOOP 1992. LNCS, vol.\u00a0615, pp. 329\u2013349. Springer, Heidelberg (1992)"},{"key":"19_CR19","first-page":"273","volume-title":"Proc. Conf. on Functional Programming Languages and Computer Architecture","author":"W. Hill","year":"1989","unstructured":"Hill, W., Olthoff, W., Canning, P., Cook, W., Mitchell, J.C.: F-bounded polymorphism for object-oriented programming. In: Proc. Conf. on Functional Programming Languages and Computer Architecture, pp. 273\u2013280. ACM Press, New York (1989)"},{"issue":"2","key":"19_CR20","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1006\/inco.1995.1168","volume":"123","author":"J. Palsberg","year":"1995","unstructured":"Palsberg, J.: Efficient inference of object types. Inf. Comput.\u00a0123(2), 198\u2013209 (1995)","journal-title":"Inf. Comput."},{"key":"19_CR21","volume-title":"Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA)","author":"J. Palsberg","year":"1991","unstructured":"Palsberg, J., Schwartzbach, M.I.: Object-oriented type inference. In: Meyrowitz, N. (ed.) Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA), vol.\u00a026. ACM Press, New York (1991)"},{"issue":"1","key":"19_CR22","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.ic.2003.10.001","volume":"189","author":"J. Palsberg","year":"2004","unstructured":"Palsberg, J., Zhao, T.: Type inference for record concatenation and subtyping. Inf. Comput.\u00a0189(1), 54\u201386 (2004)","journal-title":"Inf. Comput."},{"key":"19_CR23","unstructured":"Salib, M.: Static Type Inference (for Python) with Starkiller (2004), \n                    \n                      http:\/\/www.python.org\/pycon\/dc2004\/papers\/1\/paper.pdf"},{"key":"19_CR24","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":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/3-540-45337-7_6","volume-title":"ECOOP 2001 - Object-Oriented Programming","author":"T. Wang","year":"2001","unstructured":"Wang, T., Smith, S.F.: Precise constraint-based type inference for java. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol.\u00a02072, pp. 99\u2013117. Springer, Heidelberg (2001)"}],"container-title":["Lecture Notes in Computer Science","ECOOP 2005 - Object-Oriented Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11531142_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:50:27Z","timestamp":1619506227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11531142_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540279921","9783540317258"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11531142_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}