{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:50Z","timestamp":1772164010087,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,10,26]],"date-time":"2009-10-26T00:00:00Z","timestamp":1256515200000},"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,26]]},"DOI":"10.1145\/1640134.1640145","type":"proceedings-article","created":{"date-parts":[[2009,10,27]],"date-time":"2009-10-27T09:27:28Z","timestamp":1256635648000},"page":"69-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Fast type reconstruction for dynamically typed programming languages"],"prefix":"10.1145","author":[{"given":"Fr\u00e9d\u00e9ric","family":"Pluquet","sequence":"first","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]},{"given":"Antoine","family":"Marot","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]},{"given":"Roel","family":"Wuyts","sequence":"additional","affiliation":[{"name":"IMEC, Leuven, and Katholieke Universiteit Leuven, Leuven, Belgium"}]}],"member":"320","published-online":{"date-parts":[[2009,10,26]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/165854.165893"},{"key":"e_1_3_2_1_3_1","first-page":"2208","volume-title":"The Computer Science and Engineering Handbook","author":"Cardelli L.","year":"1997","unstructured":"L. Cardelli . Type systems . In A. B. Tucker, editor, The Computer Science and Engineering Handbook , chapter 103, pages 2208 -- 2236 . CRC Press , Boca Raton, FL , 1997 . L. Cardelli. Type systems. In A. B. Tucker, editor, The Computer Science and Engineering Handbook, chapter 103, pages 2208--2236. CRC Press, Boca Raton, FL, 1997."},{"key":"e_1_3_2_1_4_1","volume-title":"D\u00e9veloppement d'applications avec Objective CAML. O'Reilly","year":"2000","unstructured":"Chailloux. D\u00e9veloppement d'applications avec Objective CAML. O'Reilly , 2000 . Chailloux. D\u00e9veloppement d'applications avec Objective CAML. O'Reilly, 2000."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529700"},{"key":"e_1_3_2_1_6_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison Wesley , Reading, Mass ., 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison Wesley, Reading, Mass., 1995."},{"key":"e_1_3_2_1_7_1","volume-title":"SEKE 2001 Special Issue of Elsevier Journal on Expert Systems with Applications","author":"Mens K.","year":"2001","unstructured":"K. Mens , I. Michiels , and R. Wuyts . Supporting software development through declaratively codified programming patterns . SEKE 2001 Special Issue of Elsevier Journal on Expert Systems with Applications , 2001 . K. Mens, I. Michiels, and R. Wuyts. Supporting software development through declaratively codified programming patterns. SEKE 2001 Special Issue of Elsevier Journal on Expert Systems with Applications, 2001."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117965"},{"key":"e_1_3_2_1_9_1","volume-title":"ML for the Working Programmer","author":"Paulson L.","year":"1991","unstructured":"L. Paulson . ML for the Working Programmer . Cambridge University Press , 1991 . L. Paulson. ML for the Working Programmer. Cambridge University Press, 1991."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.42"},{"key":"e_1_3_2_1_11_1","volume-title":"Starkiller: A static type inferencer and compiler for python. Master's thesis","author":"Salib M.","year":"2004","unstructured":"M. Salib . Starkiller: A static type inferencer and compiler for python. Master's thesis , Massachusetts Institute of Technology , may 2004 . M. Salib. Starkiller: A static type inferencer and compiler for python. Master's thesis, Massachusetts Institute of Technology, may 2004."},{"key":"e_1_3_2_1_12_1","unstructured":"The scala programming language. http:\/\/lamp.epfl.ch\/scala\/.  The scala programming language. http:\/\/lamp.epfl.ch\/scala\/."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146841.1146845"},{"key":"e_1_3_2_1_15_1","volume-title":"The Craft of Functional Programming","author":"Thompson S.","year":"1999","unstructured":"S. Thompson . Haskell : The Craft of Functional Programming ( 2 nd edition). Addison Wesley , Reading, Mass ., 1999 . S. Thompson. Haskell: The Craft of Functional Programming (2nd edition). Addison Wesley, Reading, Mass., 1999.","edition":"2"},{"key":"e_1_3_2_1_16_1","series-title":"LNCS","first-page":"99","volume-title":"Proceedings ECOOP '01","author":"Wang T.","year":"2001","unstructured":"T. Wang and S. F. Smith . Precise constraint-based type inference for java . In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings ECOOP '01 , volume 2072 of LNCS , pages 99 -- 118 , Budapest, Hungary, June 2001 . Springer-Verlag . T. Wang and S. F. Smith. Precise constraint-based type inference for java. In G. Goos, J. Hartmanis, and J. van Leeuwen, editors, Proceedings ECOOP '01, volume 2072 of LNCS, pages 99--118, Budapest, Hungary, June 2001. Springer-Verlag."}],"event":{"name":"DLS '09: Dynamic Languages Symposium","location":"Orlando Florida USA","acronym":"DLS '09","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 5th symposium on Dynamic languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640134.1640145","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1640134.1640145","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:17:56Z","timestamp":1750234676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1640134.1640145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,26]]},"references-count":16,"alternative-id":["10.1145\/1640134.1640145","10.1145\/1640134"],"URL":"https:\/\/doi.org\/10.1145\/1640134.1640145","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1837513.1640145","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2009,10,26]]},"assertion":[{"value":"2009-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}