{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T20:47:25Z","timestamp":1760042845644,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,23]],"date-time":"2019-10-23T00:00:00Z","timestamp":1571788800000},"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":[[2019,10,23]]},"DOI":"10.1145\/3359591.3359731","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"32-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Call\u0190: an effect system for method calls"],"prefix":"10.1145","author":[{"given":"Isaac Oscar","family":"Gariano","sequence":"first","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"James","family":"Noble","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]},{"given":"Marco","family":"Servetto","sequence":"additional","affiliation":[{"name":"Victoria University of Wellington, New Zealand"}]}],"member":"320","published-online":{"date-parts":[[2019,10,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"Capabilities: Effects for Free","author":"Craig Aaron","year":"2018","unstructured":"Aaron Craig , Alex Potanin , Lindsay Groves , and Jonathan Aldrich . 2018 . Capabilities: Effects for Free . In Formal Methods and Software Engineering, Jing Sun and Meng Sun (Eds.). Springer International Publishing , Cham , 231\u2013247. Aaron Craig, Alex Potanin, Lindsay Groves, and Jonathan Aldrich. 2018. Capabilities: Effects for Free. In Formal Methods and Software Engineering, Jing Sun and Meng Sun (Eds.). Springer International Publishing, Cham, 231\u2013247."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.22"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSF.2014.9"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11785477_18"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_2_6_1","volume-title":"JavaUI: Effects for Controlling UI Object Access. In ECOOP 2013 \u2013 Object-Oriented Programming, Giuseppe Castagna (Ed.). Springer Berlin Heidelberg","author":"Gordon Colin S.","year":"2013","unstructured":"Colin S. Gordon , Werner Dietl , Michael D. Ernst , and Dan Grossman . 2013 . JavaUI: Effects for Controlling UI Object Access. In ECOOP 2013 \u2013 Object-Oriented Programming, Giuseppe Castagna (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg, 179\u2013204. Colin S. Gordon, Werner Dietl, Michael D. Ernst, and Dan Grossman. 2013. JavaUI: Effects for Controlling UI Object Access. In ECOOP 2013 \u2013 Object-Oriented Programming, Giuseppe Castagna (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 179\u2013204."},{"key":"e_1_3_2_2_7_1","volume-title":"The Java Language Specification","author":"Gosling James","unstructured":"James Gosling , Bill Joy , Guy Steele , and Bracha. Gilad. 2005. The Java Language Specification ( 3 rd ed.). Addison-Wesley Longman Publishing Co. , Boston, MA, USA . James Gosling, Bill Joy, Guy Steele, and Bracha. Gilad. 2005. The Java Language Specification (3rd ed.). Addison-Wesley Longman Publishing Co., Boston, MA, USA.","edition":"3"},{"key":"e_1_3_2_2_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48743-3_10"},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1152649.1152650"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3276954.3276955"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535846"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.153.8"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009897"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1481861.1481868"},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2017.20"},{"key":"e_1_3_2_2_18_1","volume-title":"Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010. http:\/\/www.isoc.org\/isoc\/ conferences\/ndss\/10\/pdf\/20","author":"Mettler Adrian","year":"2010","unstructured":"Adrian Mettler , David A. Wagner , and Tyler Close . 2010 . Joe-E: A Security-Oriented Subset of Java . In Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010. http:\/\/www.isoc.org\/isoc\/ conferences\/ndss\/10\/pdf\/20 .pdf Adrian Mettler, David A. Wagner, and Tyler Close. 2010. Joe-E: A Security-Oriented Subset of Java. In Proceedings of the Network and Distributed System Security Symposium, NDSS 2010, San Diego, California, USA, 28th February - 3rd March 2010. http:\/\/www.isoc.org\/isoc\/ conferences\/ndss\/10\/pdf\/20.pdf"},{"volume-title":"Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel)","author":"Nielson Flemming","key":"e_1_3_2_2_20_1","unstructured":"Flemming Nielson and Hanne Riis Nielson . 1999. Type and Effect Systems . In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel) . Springer-Verlag , Berlin, Heidelberg , 114\u2013136. http:\/\/dl.acm.org\/citation.cfm?id=646005.673740 Flemming Nielson and Hanne Riis Nielson. 1999. Type and Effect Systems. In Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the Occasion of His Retirement from His Professorship at the University of Kiel). Springer-Verlag, Berlin, Heidelberg, 114\u2013136. http:\/\/dl.acm.org\/citation.cfm?id=646005.673740"},{"key":"e_1_3_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633368"},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00590-9_7"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167500"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31057-7_13"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-004-0049-5"},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000393"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/645868.668505"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215552"},{"key":"e_1_3_2_2_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/601775.601776"}],"event":{"name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Athens Greece","acronym":"SPLASH '19"},"container-title":["Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359731","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3359591.3359731","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:06Z","timestamp":1750202586000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3359591.3359731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,23]]},"references-count":28,"alternative-id":["10.1145\/3359591.3359731","10.1145\/3359591"],"URL":"https:\/\/doi.org\/10.1145\/3359591.3359731","relation":{},"subject":[],"published":{"date-parts":[[2019,10,23]]},"assertion":[{"value":"2019-10-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}