{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:53Z","timestamp":1750306733143,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T00:00:00Z","timestamp":1413244800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Smalltalk User Group"},{"name":"Swiss Group for Object-Oriented Systems and Environments"},{"DOI":"10.13039\/501100001711","name":"Swiss National Science Foundation","doi-asserted-by":"publisher","award":["200020-144126\/1"],"award-info":[{"award-number":["200020-144126\/1"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,10,14]]},"DOI":"10.1145\/2661136.2661141","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"133-142","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Mining the Ecosystem to Improve Type Inference for Dynamically Typed Languages"],"prefix":"10.1145","author":[{"given":"Boris","family":"Spasojevi\u0107","sequence":"first","affiliation":[{"name":"University of Bern, Bern, Switzerland"}]},{"given":"Mircea","family":"Lungu","sequence":"additional","affiliation":[{"name":"University of Bern, Bern, Switzerland"}]},{"given":"Oscar","family":"Nierstrasz","sequence":"additional","affiliation":[{"name":"University of Bern, Bern, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2014,10,14]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"LNCS","first-page":"2","volume-title":"Proceedings ECOOP '95","author":"Agesen O.","year":"1995","unstructured":"O. Agesen . The cartesian product algorithm . In W. Olthoff, editor, Proceedings ECOOP '95 , volume 952 of LNCS , pages 2 -- 26 , Aarhus, Denmark, Aug . 1995 . Springer-Verlag . O. Agesen. The cartesian product algorithm. In W. Olthoff, editor, Proceedings ECOOP '95, volume 952 of LNCS, pages 2--26, Aarhus, Denmark, Aug. 1995. Springer-Verlag."},{"key":"e_1_3_2_1_2_1","volume-title":"Science of Computer Programming","author":"Allende E.","year":"2013","unstructured":"E. Allende , O. Callau , J. Fabry , \u00c9. Tanter, and M. Denker . Gradual Typing for Smalltalk . Science of Computer Programming , Aug. 2013 . URL http:\/\/hal.inria.fr\/hal-00862815. E. Allende, O. Callau, J. Fabry, \u00c9. Tanter, and M. Denker. Gradual Typing for Smalltalk. Science of Computer Programming, Aug. 2013. URL http:\/\/hal.inria.fr\/hal-00862815."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.04.008"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.962984"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-011-9173-9"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985441.1985468"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2010.5463282"},{"key":"e_1_3_2_1_8_1","volume-title":"TIOS 91\/016","author":"Eertink H.","year":"1991","unstructured":"H. Eertink and D. Wolz . Symbolic execution of LOTOS specifications. Memoranda Informatica 91--47 , TIOS 91\/016 , University of Twente , May 1991 . H. Eertink and D. Wolz. Symbolic execution of LOTOS specifications. Memoranda Informatica 91--47, TIOS 91\/016, University of Twente, May 1991."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/74878.74911"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869462"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.117"},{"key":"e_1_3_2_1_12_1","first-page":"978","article-title":"PetitParser: Building modular parsers. In Deep Into Pharo, page 36","author":"Kurs J.","year":"2013","unstructured":"J. Kurs , G. Larcheveque , L. Renggli , A. Bergel , D. Cassou , S. Ducasse , and J. Laval . PetitParser: Building modular parsers. In Deep Into Pharo, page 36 . Square Bracket Associates , Sept. 2013 . ISBN 978 - 973 -9523341-6-4. URL http:\/\/www.deepintopharo.com\/. J. Kurs, G. Larcheveque, L. Renggli, A. Bergel, D. Cassou, S. Ducasse, and J. Laval. PetitParser: Building modular parsers. In Deep Into Pharo, page 36. Square Bracket Associates, Sept. 2013. ISBN 978-3-9523341-6-4. URL http:\/\/www.deepintopharo.com\/.","journal-title":"Square Bracket Associates"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859058"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398857.2384666"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1595696.1595767"},{"key":"e_1_3_2_1_18_1","volume-title":"An Overview of the Scala Programming Language (2. edition). Technical report, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","author":"Odersky M.","year":"2006","unstructured":"M. Odersky , P. Altherr , V. Cremet , I. Dragos , G. Dubochet , B. Emir , S. McDirmid , S. Micheloud , N. Mihaylov , M. Schinz , L. Spoon , E. Stenman , and M. Zenger . An Overview of the Scala Programming Language (2. edition). Technical report, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne , 2006 . M. Odersky, P. Altherr, V. Cremet, I. Dragos, G. Dubochet, B. Emir, S. McDirmid, S. Micheloud, N. Mihaylov, M. Schinz, L. Spoon, E. Stenman, and M. Zenger. An Overview of the Scala Programming Language (2. edition). Technical report, \u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne, 2006."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MSR.2010.5463346"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640134.1640145"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337332"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2393596.2393662"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.63"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2009.02.007"},{"key":"e_1_3_2_1_25_1","first-page":"2","volume-title":"Washington DC","author":"Salib M.","year":"2004","unstructured":"M. Salib . Faster than c: Static type inference with starkiller. In in PyCon Proceedings , Washington DC , pages 2 -- 26 . SpringerVerlag , 2004 . M. Salib. Faster than c: Static type inference with starkiller. In in PyCon Proceedings, Washington DC, pages 2--26. SpringerVerlag, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.43"}],"event":{"name":"SPLASH '14: Conference on Systems, Programming, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Portland Oregon USA","acronym":"SPLASH '14"},"container-title":["Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661141","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2661136.2661141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:46Z","timestamp":1750231186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2661136.2661141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,14]]},"references-count":25,"alternative-id":["10.1145\/2661136.2661141","10.1145\/2661136"],"URL":"https:\/\/doi.org\/10.1145\/2661136.2661141","relation":{},"subject":[],"published":{"date-parts":[[2014,10,14]]},"assertion":[{"value":"2014-10-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}