{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:18Z","timestamp":1772164038481,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":42,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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":[[2013,10,29]]},"DOI":"10.1145\/2509136.2509537","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T11:29:17Z","timestamp":1382527757000},"page":"73-92","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":18,"title":["Miniboxing"],"prefix":"10.1145","author":[{"given":"Vlad","family":"Ureche","sequence":"first","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian","family":"Talau","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Odersky","sequence":"additional","affiliation":[{"name":"EPFL, Lausanne, Switzerland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Ceylon Programming Language. URL http:\/\/ceylon-lang.org\/.  Ceylon Programming Language. URL http:\/\/ceylon-lang.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Kotlin Programming Language. URL http:\/\/kotlin.jetbrains.org\/.  Kotlin Programming Language. URL http:\/\/kotlin.jetbrains.org\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Scala Programming Language. URL http:\/\/scala-lang.org\/.  Scala Programming Language. URL http:\/\/scala-lang.org\/."},{"key":"e_1_3_2_1_4_1","unstructured":"X10 Programming Language. URL http:\/\/x10-lang.org\/.  X10 Programming Language. URL http:\/\/x10-lang.org\/."},{"key":"e_1_3_2_1_5_1","volume-title":"June","author":"International ECMA","year":"2006","unstructured":"ECMA International , Standard ECMA-335: Common Language Infrastructure , June 2006 . ECMA International, Standard ECMA-335: Common Language Infrastructure, June 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/263700.263720"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/949343.949316"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263714"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.06.003"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286957"},{"key":"e_1_3_2_1_11_1","volume-title":"JSR 202: Java Class File Specification Update","author":"Buckley A.","year":"2006","unstructured":"A. Buckley . JSR 202: Java Class File Specification Update , 2006 . URL http:\/\/www.jcp.org\/en\/jsr\/detail?id=202. A. Buckley. JSR 202: Java Class File Specification Update, 2006. URL http:\/\/www.jcp.org\/en\/jsr\/detail?id=202."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/286942.286958"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542528"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297033"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"issue":"7","key":"e_1_3_2_1_17_1","volume":"11","author":"Ierusalimschy R.","year":"2005","unstructured":"R. Ierusalimschy , L. H. De Figueiredo , and W. Celes . The Implementation of Lua 5.0. Journal of Universal Computer Science , 11 ( 7 ), 2005 . R. Ierusalimschy, L. H. De Figueiredo, and W. Celes. The Implementation of Lua 5.0. Journal of Universal Computer Science, 11(7), 2005.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_18_1","unstructured":"Intel. Intel (R) 64 and IA-32 Architectures Software Developer's Manual. URL http:\/\/www.intel.com\/content\/www\/us\/en\/processors\/architectures-software-developer-manuals.html.  Intel. Intel (R) 64 and IA-32 Architectures Software Developer's Manual. URL http:\/\/www.intel.com\/content\/www\/us\/en\/processors\/architectures-software-developer-manuals.html."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/645420.652528"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1369396.1370017"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143205"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/553607"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584387"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings of Second Fuji International Workshop on Functional and Logic Programming","author":"Minamide Y.","year":"1997","unstructured":"Y. Minamide . Full Lifting of Type Parameters . In Proceedings of Second Fuji International Workshop on Functional and Logic Programming , 1997 . Y. Minamide. Full Lifting of Type Parameters. In Proceedings of Second Fuji International Workshop on Functional and Logic Programming, 1997."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/117009.117017"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094815"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-39953-4_10"},{"key":"e_1_3_2_1_30_1","unstructured":"Oracle. OpenJDK: Graal project. URL http:\/\/openjdk.java.net\/projects\/graal\/.  Oracle. OpenJDK: Graal project. URL http:\/\/openjdk.java.net\/projects\/graal\/."},{"key":"e_1_3_2_1_31_1","volume-title":"ScalaDays","author":"Osheim E.","year":"2012","unstructured":"E. Osheim . Generic Numeric Programming Through Specialized Type Classes . ScalaDays , 2012 . E. Osheim. Generic Numeric Programming Through Specialized Type Classes. ScalaDays, 2012."},{"key":"e_1_3_2_1_32_1","volume-title":"Proceedings of the 2001 Symposium on Java Virtual Machine Research and Technology Symposium-Volume 1. USENIX Association","author":"Paleczny M.","year":"2001","unstructured":"M. Paleczny , C. Vick , and C. Click . The Java HotSpot Server Compiler . In Proceedings of the 2001 Symposium on Java Virtual Machine Research and Technology Symposium-Volume 1. USENIX Association , 2001 . M. Paleczny, C. Vick, and C. Click. The Java HotSpot Server Compiler. In Proceedings of the 2001 Symposium on Java Virtual Machine Research and Technology Symposium-Volume 1. USENIX Association, 2001."},{"key":"e_1_3_2_1_33_1","unstructured":"A. Prokopec. ScalaMeter. URL http:\/\/axel22.github.com\/scalameter\/.  A. Prokopec. ScalaMeter. URL http:\/\/axel22.github.com\/scalameter\/."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2033408.2033425"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345141.2248421"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1141277.1141656"},{"key":"e_1_3_2_1_38_1","volume-title":"B. Stroustrup. The C++ Programming Language","year":"1997","unstructured":"B. Stroustrup. The C++ Programming Language , Third Edition. Addison-Wesley Longman Publishing Co., Inc. , Boston, MA , 3 rd edition, 1997 . B. Stroustrup. The C++ Programming Language, Third Edition. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 3rd edition, 1997."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489837.2489847"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2246056.2246060"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231414"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/182590.182411"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/354222.353182"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802031"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384587"}],"event":{"name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA","acronym":"SPLASH '13","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 ACM SIGPLAN international conference on Object oriented programming systems languages & applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509537","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509136.2509537","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:28:34Z","timestamp":1750217314000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509537"}},"subtitle":["improving the speed to code size tradeoff in parametric polymorphism translations"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":42,"alternative-id":["10.1145\/2509136.2509537","10.1145\/2509136"],"URL":"https:\/\/doi.org\/10.1145\/2509136.2509537","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2544173.2509537","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}