{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:54Z","timestamp":1750221354395,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"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,4,9]]},"DOI":"10.1145\/3167132.3167245","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1038-1045","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["A type and effect system for uniqueness and immutability"],"prefix":"10.1145","author":[{"given":"Paola","family":"Giannini","sequence":"first","affiliation":[{"name":"Universit\u00e0 del Piemonte Orientale, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Servetto","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Zucca","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Genova, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science)","author":"Almeida Paulo S\u00e9rgio","year":"1997","unstructured":"Paulo S\u00e9rgio Almeida . 1997 . Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science) , Vol. 1241 . Springer , 32--59. Paulo S\u00e9rgio Almeida. 1997. Balloon Types: Controlling Sharing of State in Data Types. In ECOOP'97 (Lecture Notes in Computer Science), Vol. 1241. Springer, 32--59."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-0072(01)00104-X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002724"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.370"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.5.a1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1749608.1749611"},{"key":"e_1_3_2_1_7_1","volume-title":"Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs)","volume":"56","author":"Castegren Elias","year":"2016","unstructured":"Elias Castegren and Tobias Wrigstad . 2016 . Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs) , Vol. 56 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 5:1--5:26. Elias Castegren and Tobias Wrigstad. 2016. Reference Capabilities for Concurrency Control. In ECOOP'16 (LIPIcs), Vol. 56. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 5:1--5:26."},{"key":"e_1_3_2_1_8_1","volume-title":"Relaxed Linear References for Lockfree Data Structures. In ECOOP'17 (LIPIcs)","volume":"74","author":"Castegren Elias","year":"2017","unstructured":"Elias Castegren and Tobias Wrigstad . 2017 . Relaxed Linear References for Lockfree Data Structures. In ECOOP'17 (LIPIcs) , Vol. 74 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 6:1--6:32. Elias Castegren and Tobias Wrigstad. 2017. Relaxed Linear References for Lockfree Data Structures. In ECOOP'17 (LIPIcs), Vol. 74. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 6:1--6:32."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2554511.2554516"},{"volume-title":"ECOOP'03 (Lecture Notes in Computer Science)","author":"Clarke David","key":"e_1_3_2_1_10_1","unstructured":"David Clarke and Tobias Wrigstad . 2003. External Uniqueness is Unique Enough . In ECOOP'03 (Lecture Notes in Computer Science) , Vol. 2473 . Springer , 176--200. David Clarke and Tobias Wrigstad. 2003. External Uniqueness is Unique Enough. In ECOOP'03 (Lecture Notes in Computer Science), Vol. 2473. Springer, 176--200."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2824815.2824816"},{"volume-title":"ECOOP'07 (Lecture Notes in Computer Science)","author":"Dietl Werner","key":"e_1_3_2_1_12_1","unstructured":"Werner Dietl , Sophia Drossopoulou , and Peter M\u00fcller . 2007. Generic Universe Types . In ECOOP'07 (Lecture Notes in Computer Science) , Vol. 4609 . Springer , 253. Werner Dietl, Sophia Drossopoulou, and Peter M\u00fcller. 2007. Generic Universe Types. In ECOOP'07 (Lecture Notes in Computer Science), Vol. 4609. Springer, 253."},{"key":"e_1_3_2_1_13_1","volume-title":"Types for Immutability and Aliasing Control. In ICTCS'16 - Italian Conf. on Theoretical Computer Science (CEUR Workshop Proceedings)","volume":"1720","author":"Giannini Paola","year":"2016","unstructured":"Paola Giannini , Marco Servetto , and Elena Zucca . 2016 . Types for Immutability and Aliasing Control. In ICTCS'16 - Italian Conf. on Theoretical Computer Science (CEUR Workshop Proceedings) , Vol. 1720 . CEUR-WS.org, 62--74. http:\/\/ceur-ws.org\/Vol-1720\/full5.pdf Paola Giannini, Marco Servetto, and Elena Zucca. 2016. Types for Immutability and Aliasing Control. In ICTCS'16 - Italian Conf. on Theoretical Computer Science (CEUR Workshop Proceedings), Vol. 1720. CEUR-WS.org, 62--74. http:\/\/ceur-ws.org\/Vol-1720\/full5.pdf"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3103111.3104038"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019890"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384619"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984042"},{"volume-title":"ECOOP'10 (Lecture Notes in Computer Science)","author":"Haller Philipp","key":"e_1_3_2_1_18_1","unstructured":"Philipp Haller and Martin Odersky . 2010. Capabilities for uniqueness and borrowing . In ECOOP'10 (Lecture Notes in Computer Science) , Vol. 6183 . Springer , 354--378. Philipp Haller and Martin Odersky. 2010. Capabilities for uniqueness and borrowing. In ECOOP'10 (Lecture Notes in Computer Science), Vol. 6183. Springer, 354--378."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_21_1","volume-title":"Leino and Peter M\u00fcller","author":"K. Rustan","year":"2004","unstructured":"K. Rustan M. Leino and Peter M\u00fcller . 2004 . Object Invariants in Dynamic Contexts. In ECOOP'04 (Lecture Notes in Computer Science), Vol. 3086 . Springer , 491--516. K. Rustan M. Leino and Peter M\u00fcller. 2004. Object Invariants in Dynamic Contexts. In ECOOP'04 (Lecture Notes in Computer Science), Vol. 3086. Springer, 491--516."},{"volume-title":"Communicating and mobile systems - the Pi-calculus","author":"Milner Robin","key":"e_1_3_2_1_22_1","unstructured":"Robin Milner . 1999. Communicating and mobile systems - the Pi-calculus . Cambridge University Press . Robin Milner. 1999. Communicating and mobile systems - the Pi-calculus. Cambridge University Press."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297061"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103722"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/645683.664578"},{"key":"e_1_3_2_1_26_1","volume-title":"WODET 2014-Workshop on Determinism and Correctness in Parallel Programming.","author":"Servetto Marco","year":"2013","unstructured":"Marco Servetto , David J. Pearce , Lindsay Groves , and Alex Potanin . 2013 . Balloon Types for Safe Parallelisation over Arbitrary Object Graphs . In WODET 2014-Workshop on Determinism and Correctness in Parallel Programming. Marco Servetto, David J. Pearce, Lindsay Groves, and Alex Potanin. 2013. Balloon Types for Safe Parallelisation over Arbitrary Object Graphs. In WODET 2014-Workshop on Determinism and Correctness in Parallel Programming."},{"volume-title":"Programming Languages and Systems - 13th Asian Symposium (APLAS) (Lecture Notes in Computer Science)","author":"Servetto Marco","key":"e_1_3_2_1_27_1","unstructured":"Marco Servetto and Elena Zucca . 2015. Aliasing Control in an Imperative Pure Calculus . In Programming Languages and Systems - 13th Asian Symposium (APLAS) (Lecture Notes in Computer Science) , Xinyu Feng and Sungwoo Park (Eds.), Vol. 9458 . Springer , 208--228. Marco Servetto and Elena Zucca. 2015. Aliasing Control in an Imperative Pure Calculus. In Programming Languages and Systems - 13th Asian Symposium (APLAS) (Lecture Notes in Computer Science), Xinyu Feng and Sungwoo Park (Eds.), Vol. 9458. Springer, 208--228."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094828"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869509"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167245","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167245","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:05Z","timestamp":1750213565000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167245"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":29,"alternative-id":["10.1145\/3167132.3167245","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167245","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}