{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:17Z","timestamp":1750221377909,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,22]],"date-time":"2017-10-22T00:00:00Z","timestamp":1508630400000},"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":[[2017,10,22]]},"DOI":"10.1145\/3135932.3135946","type":"proceedings-article","created":{"date-parts":[[2017,10,13]],"date-time":"2017-10-13T15:16:02Z","timestamp":1507907762000},"page":"48-50","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Abstracting resource effects"],"prefix":"10.1145","author":[{"given":"Valerie","family":"Zhao","sequence":"first","affiliation":[{"name":"Wellesley College, USA"}]}],"member":"320","published-online":{"date-parts":[[2017,10,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639949.1640097"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/EuroSP.2016.22"},{"key":"e_1_3_2_1_3_1","first-page":"28","volume-title":"Proceedings of the 1986 ACM Conference on LISP and Functional Programming (LFP '86)","author":"David","unstructured":"David K. Gifford and John M. Lucassen. 1986. Integrating Functional and Imperative Programming . In Proceedings of the 1986 ACM Conference on LISP and Functional Programming (LFP '86) . ACM, New York, NY, USA , 28 - 38 . David K. Gifford and John M. Lucassen. 1986. Integrating Functional and Imperative Programming. In Proceedings of the 1986 ACM Conference on LISP and Functional Programming (LFP '86). ACM, New York, NY, USA, 28-38."},{"key":"e_1_3_2_1_4_1","first-page":"161","volume-title":"Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99)","author":"Igarashi Atsushi","unstructured":"Atsushi Igarashi and Benjamin C. Pierce . 1999. Foundations for Virtual Types . In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99) . Springer-Verlag, London, UK, UK , 161 - 185 . http:\/\/dl.acm.org\/citation.cfm?id=646156.679844 Atsushi Igarashi and Benjamin C. Pierce. 1999. Foundations for Virtual Types. In Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP '99). Springer-Verlag, London, UK, UK, 161-185. http:\/\/dl.acm.org\/citation.cfm?id=646156.679844"},{"key":"e_1_3_2_1_5_1","volume-title":"Gifford","author":"Jouvelot Pierre","year":"1989","unstructured":"Pierre Jouvelot and David K . Gifford . 1989 . Reasoning about continuations with control effects. Vol. 24 . ACM. Pierre Jouvelot and David K. Gifford. 1989. Reasoning about continuations with control effects. Vol. 24. ACM."},{"key":"e_1_3_2_1_6_1","volume-title":"Koka: Programming with Row Polymorphic Effect Types, In Mathematically Structured Functional Programming","author":"Leijen Daan","year":"2014","unstructured":"Daan Leijen . 2014 . Koka: Programming with Row Polymorphic Effect Types, In Mathematically Structured Functional Programming 2014. https:\/\/www.microsoft.com\/en-us\/research\/publication\/koka-programming-with-row-polymorphic-effect-types-2\/ Daan Leijen. 2014. Koka: Programming with Row Polymorphic Effect Types, In Mathematically Structured Functional Programming 2014. https:\/\/www.microsoft.com\/en-us\/research\/publication\/koka-programming-with-row-polymorphic-effect-types-2\/"},{"key":"e_1_3_2_1_8_1","first-page":"47","volume-title":"Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '88)","author":"John","unstructured":"John M. Lucassen and David K. Gifford. 1988. Polymorphic Effect Systems . In Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '88) . ACM, New York, NY, USA , 47 - 57 . John M. Lucassen and David K. Gifford. 1988. Polymorphic Effect Systems. In Proceedings of the 15th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '88). ACM, New York, NY, USA, 47-57."},{"key":"e_1_3_2_1_9_1","first-page":"10","article-title":"Virtual Classes","volume":"24","author":"Madsen Ole Lehrmann","year":"1989","unstructured":"Ole Lehrmann Madsen and Birger M\u00f8ller-Pedersen . 1989 . Virtual Classes : A Powerful Mechanism in Object-oriented Programming. SIGPLAN Not. 24 , 10 (Sept. 1989), 397-406. Ole Lehrmann Madsen and Birger M\u00f8ller-Pedersen. 1989. Virtual Classes: A Powerful Mechanism in Object-oriented Programming. SIGPLAN Not. 24, 10 (Sept. 1989), 397-406.","journal-title":"A Powerful Mechanism in Object-oriented Programming. SIGPLAN Not."},{"key":"e_1_3_2_1_10_1","volume-title":"31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.)","volume":"74","author":"Melicher Darya","year":"2017","unstructured":"Darya Melicher , Yangqingwei Shi , Alex Potanin , and Jonathan Aldrich . 2017 . A Capability-Based Module System for Authority Control . In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.) , Vol. 74 . Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 20:1-20:27. Darya Melicher, Yangqingwei Shi, Alex Potanin, and Jonathan Aldrich. 2017. A Capability-Based Module System for Authority Control. In 31st European Conference on Object-Oriented Programming (ECOOP 2017) (Leibniz International Proceedings in Informatics (LIPIcs)), Peter M\u00fcller (Ed.), Vol. 74. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany, 20:1-20:27."},{"key":"e_1_3_2_1_11_1","unstructured":"Mark Samuel Miller. 2006. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control. Ph.D. Dissertation. Johns Hopkins University Baltimore Maryland.  Mark Samuel Miller. 2006. Robust Composition: Towards a Unified Approach to Access Control and Concurrency Control . Ph.D. Dissertation. Johns Hopkins University Baltimore Maryland."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234745"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2489828.2489830"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_10"}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"],"location":"Vancouver BC Canada","acronym":"SPLASH '17"},"container-title":["Proceedings Companion of the 2017 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3135932.3135946","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3135932.3135946","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:45Z","timestamp":1750213605000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3135932.3135946"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,22]]},"references-count":13,"alternative-id":["10.1145\/3135932.3135946","10.1145\/3135932"],"URL":"https:\/\/doi.org\/10.1145\/3135932.3135946","relation":{},"subject":[],"published":{"date-parts":[[2017,10,22]]},"assertion":[{"value":"2017-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}