{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:17Z","timestamp":1750221257381,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"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":[[2018,9,17]]},"DOI":"10.1145\/3241653.3241660","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T12:11:39Z","timestamp":1537272699000},"page":"61-71","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Interflow: interprocedural flow-sensitive type inference and method duplication"],"prefix":"10.1145","author":[{"given":"Denys","family":"Shabalin","sequence":"first","affiliation":[{"name":"EPFL, Switzerland"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"EPFL, Switzerland"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"issue":"2","key":"e_1_3_2_1_1_1","first-page":"2005","article-title":"A Survey of Adaptive Optimization in Virtual Machines","volume":"93","author":"Arnold Matthew","year":"2004","unstructured":"Matthew Arnold , Stephen J. Fink , David Grove , Michael Hind , and Peter F. Sweeney . 2004 . A Survey of Adaptive Optimization in Virtual Machines . In PROCEEDINGS OF THE IEEE , 93 ( 2 ), 2005 . SPECIAL ISSUE ON PROGRAM GENERATION, OPTIMIZATION, AND ADAPTATION. Matthew Arnold, Stephen J. Fink, David Grove, Michael Hind, and Peter F. Sweeney. 2004. A Survey of Adaptive Optimization in Virtual Machines. In PROCEEDINGS OF THE IEEE, 93(2), 2005. SPECIAL ISSUE ON PROGRAM GENERATION, OPTIMIZATION, AND ADAPTATION.","journal-title":"PROCEEDINGS OF THE IEEE"},{"key":"e_1_3_2_1_2_1","volume-title":"Julia: A fast dynamic language for technical computing. arXiv preprint arXiv:1209.5145","author":"Bezanson Jeff","year":"2012","unstructured":"Jeff Bezanson , Stefan Karpinski , Viral B Shah , and Alan Edelman . 2012 . Julia: A fast dynamic language for technical computing. arXiv preprint arXiv:1209.5145 (2012). Jeff Bezanson, Stefan Karpinski, Viral B Shah, and Alan Edelman. 2012. Julia: A fast dynamic language for technical computing. arXiv preprint arXiv:1209.5145 (2012)."},{"key":"e_1_3_2_1_3_1","volume-title":"Clash of the Lambdas. arXiv preprint arXiv:1406.6631","author":"Biboudis Aggelos","year":"2014","unstructured":"Aggelos Biboudis , Nick Palladinos , and Yannis Smaragdakis . 2014. Clash of the Lambdas. arXiv preprint arXiv:1406.6631 ( 2014 ). Aggelos Biboudis, Nick Palladinos, and Yannis Smaragdakis. 2014. Clash of the Lambdas. arXiv preprint arXiv:1406.6631 (2014)."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1379022.1375586"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380180902"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/646153.679523"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/646156.679839"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Iulian Dragos. 2010. Compiling Scala for performance. (2010).  Iulian Dragos. 2010. Compiling Scala for performance. (2010).","DOI":"10.15660\/AUOFMTE.2010-3.2048"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679193"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/381694.378797"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/358027.358042"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1369396.1370017"},{"key":"e_1_3_2_1_14_1","volume-title":"The BSD Conference. 1\u20132.","author":"Lattner Chris","year":"2008","unstructured":"Chris Lattner . 2008 . LLVM and Clang: Next generation compiler technology . In The BSD Conference. 1\u20132. Chris Lattner. 2008. LLVM and Clang: Next generation compiler technology. In The BSD Conference. 1\u20132."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_16_1","unstructured":"Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2015. The Java (R) Virtual Machine Specification. https:\/\/docs.oracle.com\/ javase\/specs\/jvms\/se8\/html\/ . Accessed: 2018-06-04.  Tim Lindholm Frank Yellin Gilad Bracha and Alex Buckley. 2015. The Java (R) Virtual Machine Specification. https:\/\/docs.oracle.com\/ javase\/specs\/jvms\/se8\/html\/ . Accessed: 2018-06-04."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2989225.2989232"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727795"},{"volume-title":"Brainfuck\u2013an eight-instruction turing-complete programming language","author":"M\u00fcller Urban","key":"e_1_3_2_1_19_1","unstructured":"Urban M\u00fcller . 1993. Brainfuck\u2013an eight-instruction turing-complete programming language . http:\/\/en.wikipedia.org\/wiki\/Brainfuck . Accessed: 2018-06-04. Urban M\u00fcller. 1993. Brainfuck\u2013an eight-instruction turing-complete programming language. http:\/\/en.wikipedia.org\/wiki\/Brainfuck . Accessed: 2018-06-04."},{"key":"e_1_3_2_1_20_1","volume-title":"LIPIcs-Leibniz International Proceedings in Informatics","volume":"4","author":"Odersky Martin","year":"2009","unstructured":"Martin Odersky and Adriaan Moors . 2009 . Fighting bit rot with types (experience report: Scala collections) . In LIPIcs-Leibniz International Proceedings in Informatics , Vol. 4 . Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik. Martin Odersky and Adriaan Moors. 2009. Fighting bit rot with types (experience report: Scala collections). In LIPIcs-Leibniz International Proceedings in Informatics, Vol. 4. Schloss Dagstuhl-Leibniz-Zentrum f\u00fcr Informatik."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2983991"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/93542.93550"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033408.2033425"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3136000.3136002"},{"key":"e_1_3_2_1_25_1","unstructured":"Denys Shabalin. 2015. Scala Native. http:\/\/www.scala-native.org . Accessed: 2018-06-04.  Denys Shabalin. 2015. Scala Native. http:\/\/www.scala-native.org . Accessed: 2018-06-04."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2581122.2544157"},{"key":"e_1_3_2_1_27_1","unstructured":"Richard Stallman. 2001. Using and porting the GNU compiler collection. In MIT Artificial Intelligence Laboratory. Citeseer.  Richard Stallman. 2001. Using and porting the GNU compiler collection. In MIT Artificial Intelligence Laboratory. Citeseer."},{"key":"e_1_3_2_1_28_1","unstructured":"Bjarne Stroustrup. 2000. The C++ programming language. Pearson Education India.   Bjarne Stroustrup. 2000. The C++ programming language. Pearson Education India."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544173.2509537"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2509578.2509581"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"St. Louis MO USA","acronym":"ICFP '18"},"container-title":["Proceedings of the 9th ACM SIGPLAN International Symposium on Scala"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241653.3241660","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3241653.3241660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:08:09Z","timestamp":1750212489000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3241653.3241660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":30,"alternative-id":["10.1145\/3241653.3241660","10.1145\/3241653"],"URL":"https:\/\/doi.org\/10.1145\/3241653.3241660","relation":{},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}