{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,27]],"date-time":"2026-06-27T07:49:47Z","timestamp":1782546587028,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":64,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,10,19]],"date-time":"2016-10-19T00:00:00Z","timestamp":1476835200000},"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":[[2016,10,19]]},"DOI":"10.1145\/2983990.2984042","type":"proceedings-article","created":{"date-parts":[[2016,10,20]],"date-time":"2016-10-20T11:58:54Z","timestamp":1476964734000},"page":"272-291","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["LaCasa: lightweight affinity and object capabilities in Scala"],"prefix":"10.1145","author":[{"given":"Philipp","family":"Haller","sequence":"first","affiliation":[{"name":"KTH, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alex","family":"Loiko","sequence":"additional","affiliation":[{"name":"Google, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2016,10,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119480"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/7929"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_4_1","first-page":"59","volume-title":"ECOOP","author":"Almeida P. S.","year":"1997","unstructured":"P. S. Almeida . Balloon types : Controlling sharing of state in data types . In ECOOP , pages 32\u2013 59 , 1997 . P. S. Almeida. Balloon types: Controlling sharing of state in data types. In ECOOP, pages 32\u201359, 1997."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660216"},{"key":"e_1_3_2_1_6_1","first-page":"272","volume-title":"A List of Successes That Can Change the World","author":"Amin N.","unstructured":"N. Amin , S. Gr\u00fctter , M. Odersky , T. Rompf , and S. Stucki . The essence of dependent object types . In A List of Successes That Can Change the World , pages 249\u2013 272 . Springer, 2016. N. Amin, S. Gr\u00fctter, M. Odersky, T. Rompf, and S. Stucki. The essence of dependent object types. In A List of Successes That Can Change the World, pages 249\u2013272. Springer, 2016."},{"key":"e_1_3_2_1_7_1","volume-title":"Experience report: Developing the Servo web browser engine using Rust. CoRR, abs\/1505.07383","author":"Anderson B.","year":"2015","unstructured":"B. Anderson , L. Bergstrom , D. Herman , J. Matthews , K. McAllister , M. Goregaokar , J. Moffitt , and S. Sapin . Experience report: Developing the Servo web browser engine using Rust. CoRR, abs\/1505.07383 , 2015 . B. Anderson, L. Bergstrom, D. Herman, J. Matthews, K. McAllister, M. Goregaokar, J. Moffitt, and S. Sapin. Experience report: Developing the Servo web browser engine using Rust. CoRR, abs\/1505.07383, 2015."},{"key":"e_1_3_2_1_8_1","volume-title":"Concurrent Programming in Erlang","author":"Armstrong J.","year":"1996","unstructured":"J. Armstrong , R. Virding , C. Wikstr\u00f6m , and M. Williams . Concurrent Programming in Erlang . Prentice Hall , 1996 . J. Armstrong, R. Virding, C. Wikstr\u00f6m, and M. Williams. Concurrent Programming in Erlang. Prentice Hall, 1996."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1375657.1375659"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/199818.199860"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1760267.1760273"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2429069.2429103"},{"key":"e_1_3_2_1_17_1","unstructured":"City of Asheville NC USA. Priority Places project. http: \/\/priorityplaces.ashevillenc.gov\/.  City of Asheville NC USA. Priority Places project. http: \/\/priorityplaces.ashevillenc.gov\/."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_9"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"e_1_3_2_1_20_1","series-title":"LNCS","first-page":"58","volume-title":"Aliasing in Object-Oriented Programming","author":"Clarke D.","unstructured":"D. Clarke , J. \u00d6stlund , I. Sergey , and T. Wrigstad . Ownership types: A survey . In Aliasing in Object-Oriented Programming , volume 7850 of LNCS , pages 15\u2013 58 . Springer, 2013. D. Clarke, J. \u00d6stlund, I. Sergey, and T. Wrigstad. Ownership types: A survey. In Aliasing in Object-Oriented Programming, volume 7850 of LNCS, pages 15\u201358. Springer, 2013."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824816"},{"key":"e_1_3_2_1_23_1","volume-title":"http:\/\/www.adsafe.org","author":"Crockford D.","year":"2011","unstructured":"D. Crockford . ADsafe. http:\/\/www.adsafe.org , 2011 . D. Crockford. ADsafe. http:\/\/www.adsafe.org, 2011."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869489"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254070"},{"key":"e_1_3_2_1_26_1","volume-title":"cloc","author":"Danial A.","unstructured":"A. Danial and contributors. cloc . http:\/\/cloc. sourceforge.net\/, 2006. Accessed: 2016-03-20. A. Danial and contributors. cloc. http:\/\/cloc. sourceforge.net\/, 2006. Accessed: 2016-03-20."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/365230.365252"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2005.4.8.a1"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985889"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394779"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034675.2034690"},{"key":"e_1_3_2_1_32_1","volume-title":"https:\/\/github.com\/erlang\/ otp","author":"Ericsson AB.","year":"2010","unstructured":"Ericsson AB. Erlang\/OTP. https:\/\/github.com\/erlang\/ otp , 2010 . Accessed : 2016-07-10. Ericsson AB. Erlang\/OTP. https:\/\/github.com\/erlang\/ otp, 2010. Accessed: 2016-07-10."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384619"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2414639.2414641"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984042"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.09.019"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884002"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(77)90033-9"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_43_1","unstructured":"Lightbend Inc. Akka. http:\/\/akka.io\/ 2009. Accessed: 2016-03-20.  Lightbend Inc. Akka. http:\/\/akka.io\/ 2009. Accessed: 2016-03-20."},{"key":"e_1_3_2_1_44_1","volume-title":"NDSS","author":"Mettler A.","year":"2010","unstructured":"A. Mettler , D. Wagner , and T. Close . Joe-E: A securityoriented subset of Java . In NDSS , 2010 . A. Mettler, D. Wagner, and T. Close. Joe-E: A securityoriented subset of Java. In NDSS, 2010."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44202-9_13"},{"key":"e_1_3_2_1_47_1","volume-title":"Caja: Safe active content in sanitized JavaScript. Google","author":"Miller M. S.","year":"2008","unstructured":"M. S. Miller , M. Samuel , B. Laurie , I. Awad , and M. Stay . Caja: Safe active content in sanitized JavaScript. Google , Inc., Tech. Rep , 2008 . M. S. Miller, M. Samuel, B. Laurie, I. Awad, and M. Stay. Caja: Safe active content in sanitized JavaScript. Google, Inc., Tech. Rep, 2008."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.5555\/646154.758676"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297061"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679699"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.5555\/145055.145119"},{"key":"e_1_3_2_1_52_1","first-page":"451","volume-title":"FSTTCS","author":"Odersky M.","year":"2009","unstructured":"M. Odersky and A. Moors . Fighting bit rot with types . In FSTTCS , pages 427\u2013 451 , 2009 . M. Odersky and A. Moors. Fighting bit rot with types. In FSTTCS, pages 427\u2013451, 2009."},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/360204.360207"},{"key":"e_1_3_2_1_54_1","unstructured":"M. Odersky P. Altherr V. Cremet G. Dubochet B. Emir P. Haller S. Micheloud N. Mihaylov A. Moors L. Rytz M. Schinz E. Stenman and M. Zenger. The Scala language specification version 2.11. http:\/\/www.scala-lang.org\/ files\/archive\/spec\/2.11\/ Apr. 2014.  M. Odersky P. Altherr V. Cremet G. Dubochet B. Emir P. Haller S. Micheloud N. Mihaylov A. Moors L. Rytz M. Schinz E. Stenman and M. Zenger. The Scala language specification version 2.11. http:\/\/www.scala-lang.org\/ files\/archive\/spec\/2.11\/ Apr. 2014."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.5555\/1894386.1894392"},{"key":"e_1_3_2_1_56_1","volume-title":"ADsafety: Type-based verification of JavaScript sandboxing. CoRR, abs\/1506.07813","author":"Politz J. G.","year":"2015","unstructured":"J. G. Politz , S. A. Eliopoulos , A. Guha , and S. Krishnamurthi . ADsafety: Type-based verification of JavaScript sandboxing. CoRR, abs\/1506.07813 , 2015 . J. G. Politz, S. A. Eliopoulos, A. Guha, and S. Krishnamurthi. ADsafety: Type-based verification of JavaScript sandboxing. CoRR, abs\/1506.07813, 2015."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500598"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297043"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_6"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.5555\/1940281.1940330"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_64_1","volume-title":"North Holland","author":"Wadler P.","year":"1990","unstructured":"P. Wadler . Linear types can change the world! In Programming Concepts and Methods, pages 561\u2013581 . North Holland , 1990 . P. Wadler. Linear types can change the world! In Programming Concepts and Methods, pages 561\u2013581. North Holland, 1990."},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_27"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_21"},{"key":"e_1_3_2_1_67_1","unstructured":"Z. Y. Concurrency Analysis Based On Fractional Permission System. PhD thesis University of Wisconsin\u2013Milwaukee 2007.  Z. Y. Concurrency Analysis Based On Fractional Permission System. PhD thesis University of Wisconsin\u2013Milwaukee 2007."}],"event":{"name":"SPLASH '16: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Amsterdam Netherlands","acronym":"SPLASH '16","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984042","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2983990.2984042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:39:53Z","timestamp":1750203593000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2983990.2984042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,19]]},"references-count":64,"alternative-id":["10.1145\/2983990.2984042","10.1145\/2983990"],"URL":"https:\/\/doi.org\/10.1145\/2983990.2984042","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3022671.2984042","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2016,10,19]]},"assertion":[{"value":"2016-10-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}