{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,18]],"date-time":"2026-03-18T04:51:30Z","timestamp":1773809490137,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,25]],"date-time":"2009-10-25T00:00:00Z","timestamp":1256428800000},"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":[[2009,10,25]]},"DOI":"10.1145\/1640089.1640110","type":"proceedings-article","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:27:28Z","timestamp":1256635648000},"page":"283-300","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":56,"title":["Profile-guided static typing for dynamic scripting languages"],"prefix":"10.1145","author":[{"given":"Michael","family":"Furr","sequence":"first","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}]},{"given":"Jong-hoon (David)","family":"An","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}]},{"given":"Jeffrey S.","family":"Foster","sequence":"additional","affiliation":[{"name":"University of Maryland, College Park, MD, USA"}]}],"member":"320","published-online":{"date-parts":[[2009,10,25]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297081.1297091"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_19"},{"key":"e_1_3_2_1_4_1","first-page":"11","volume-title":"Aycock. Aggressive Type Inference. In Proceedings of the 8th International Python Conference","author":"John","year":"2000","unstructured":"John Aycock. Aggressive Type Inference. In Proceedings of the 8th International Python Conference , pages 11 -- 20 , 2000 . John Aycock. Aggressive Type Inference. In Proceedings of the 8th International Python Conference, pages 11--20, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297057"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/328690.328693"},{"key":"e_1_3_2_1_7_1","volume-title":"Localized Type Inference of Atomic Types in Python. Master's thesis","author":"Cannon Brett","year":"2005","unstructured":"Brett Cannon . Localized Type Inference of Atomic Types in Python. Master's thesis , California Polytechnic State University , San Luis Obispo, 2005 . Brett Cannon. Localized Type Inference of Atomic Types in Python. Master's thesis, California Polytechnic State University, San Luis Obispo, 2005."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_9_1","first-page":"1","volume-title":"Precise Analysis of String Expressions. In SAS","author":"Christensen Aske Simon","year":"2003","unstructured":"Aske Simon Christensen , Anders M\u00f8ller , and Michael I . Schwartzbach . Precise Analysis of String Expressions. In SAS , pages 1 -- 18 , 2003 . Aske Simon Christensen, Anders M\u00f8ller, and Michael I. Schwartzbach. Precise Analysis of String Expressions. In SAS, pages 1--18, 2003."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542483"},{"key":"e_1_3_2_1_11_1","volume-title":"The Ruby Programming Language","author":"Flanagan David","year":"2008","unstructured":"David Flanagan and Yukihiro Matsumoto . The Ruby Programming Language . O'Reilly Media, Inc , 2008 . David Flanagan and Yukihiro Matsumoto. The Ruby Programming Language. O'Reilly Media, Inc, 2008."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640134.1640148"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529700"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/998675.999468"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96722"},{"key":"e_1_3_2_1_17_1","volume-title":"Scheme and Functional Programming","author":"Gronski J.","year":"2006","unstructured":"J. Gronski , K. Knowles , A. Tomb , S.N. Freund , and C. Flanagan . Sage: Hybrid Checking for Flexible Specifications . Scheme and Functional Programming , 2006 . J. Gronski, K. Knowles, A. Tomb, S.N. Freund, and C. Flanagan. Sage: Hybrid Checking for Flexible Specifications. Scheme and Functional Programming, 2006."},{"key":"e_1_3_2_1_18_1","volume-title":"November","author":"Hansen Lars T","year":"2007","unstructured":"Lars T Hansen . Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial) , November 2007 . Lars T Hansen. Evolutionary Programming and Gradual Typing in ECMAScript 4 (Tutorial), November 2007."},{"key":"e_1_3_2_1_19_1","volume-title":"Trends in Functional Programming","author":"Herman D.","year":"2007","unstructured":"D. Herman , A. Tomb , and C. Flanagan . Space-efficient gradual typing . Trends in Functional Programming , 2007 . D. Herman, A. Tomb, and C. Flanagan. Space-efficient gradual typing. Trends in Functional Programming, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_5"},{"key":"e_1_3_2_1_21_1","volume-title":"Ecstatic - Type Inference for Ruby Using the Cartesian Product Algorithm. Master's thesis","author":"Kristensen Kristian","year":"2007","unstructured":"Kristian Kristensen . Ecstatic - Type Inference for Ruby Using the Cartesian Product Algorithm. Master's thesis , Aalborg University , 2007 . Kristian Kristensen. Ecstatic - Type Inference for Ruby Using the Cartesian Product Algorithm. Master's thesis, Aalborg University, 2007."},{"key":"e_1_3_2_1_22_1","volume-title":"Reflection Analysis for Java. In ASPLS","author":"Livshits Benjamin","year":"2005","unstructured":"Benjamin Livshits , John Whaley , and Monica S . Lam . Reflection Analysis for Java. In ASPLS , 2005 . Benjamin Livshits, John Whaley, and Monica S. Lam. Reflection Analysis for Java. In ASPLS, 2005."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/504282.504297"},{"key":"e_1_3_2_1_24_1","volume-title":"MIT","author":"Salib Michael","year":"2004","unstructured":"Michael Salib . Starkiller : A Static Type Inferencer and Compiler for Python. Master's thesis , MIT , 2004 . Michael Salib. Starkiller: A Static Type Inferencer and Compiler for Python. Master's thesis, MIT, 2004."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCAM.2007.12"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73589-2_2"},{"key":"e_1_3_2_1_27_1","volume-title":"Scheme and Functional Programming Workshop","author":"Jeremy","year":"2006","unstructured":"Jeremy G. Siek and Walid Taha. Gradual typing for functional languages . In Scheme and Functional Programming Workshop , September 2006 . Jeremy G. Siek and Walid Taha. Gradual typing for functional languages. In Scheme and Functional Programming Workshop, September 2006."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349326"},{"key":"e_1_3_2_1_29_1","unstructured":"Strongtalk. Strongtalk 2008. http:\/\/www.strongtalk.org\/.  Strongtalk. Strongtalk 2008. http:\/\/www.strongtalk.org\/."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96747"},{"key":"e_1_3_2_1_31_1","first-page":"95","volume-title":"Reflection 96","author":"Thiemann Peter","year":"1996","unstructured":"Peter Thiemann . Towards partial evaluation of full scheme . In Reflection 96 , pages 95 -- 106 , 1996 . Peter Thiemann. Towards partial evaluation of full scheme. In Reflection 96, pages 95--106, 1996."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31987-0_28"},{"key":"e_1_3_2_1_33_1","volume-title":"Programming Ruby: The Pragmatic Programmers' Guide. Pragmatic Bookshelf","author":"Thomas Dave","year":"2004","unstructured":"Dave Thomas , Chad Fowler , and Andy Hunt . Programming Ruby: The Pragmatic Programmers' Guide. Pragmatic Bookshelf , 2 nd edition, 2004 . Dave Thomas, Chad Fowler, and Andy Hunt. Programming Ruby: The Pragmatic Programmers' Guide. Pragmatic Bookshelf, 2nd edition, 2004.","edition":"2"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320414"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328438.1328486"},{"key":"e_1_3_2_1_36_1","unstructured":"David A. Wheeler. Sloccount 2008. http:\/\/www.dwheeler.com\/sloccount\/.  David A. Wheeler. Sloccount 2008. http:\/\/www.dwheeler.com\/sloccount\/."},{"key":"e_1_3_2_1_37_1","unstructured":"Roel Wuyts. RoelTyper May 2007. http:\/\/decomp.ulb.ac.be\/roelwuyts\/smalltalk\/roeltyper\/.  Roel Wuyts. RoelTyper May 2007. http:\/\/decomp.ulb.ac.be\/roelwuyts\/smalltalk\/roeltyper\/."}],"event":{"name":"OOPSLA09: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Orlando Florida USA","acronym":"OOPSLA09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640089.1640110","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1640089.1640110","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:55Z","timestamp":1750234675000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640089.1640110"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,25]]},"references-count":36,"alternative-id":["10.1145\/1640089.1640110","10.1145\/1640089"],"URL":"https:\/\/doi.org\/10.1145\/1640089.1640110","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1639949.1640110","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,25]]},"assertion":[{"value":"2009-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}