{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:19Z","timestamp":1772163919191,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2005,6,12]]},"DOI":"10.1145\/1065010.1065023","type":"proceedings-article","created":{"date-parts":[[2005,8,3]],"date-time":"2005-08-03T04:31:47Z","timestamp":1123043507000},"page":"96-106","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Permission-based ownership"],"prefix":"10.1145","author":[{"given":"Neel","family":"Krishnaswami","sequence":"first","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Aldrich","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University, Pittsburgh, PA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,6,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24851-4_1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582448"},{"key":"e_1_3_2_1_3_1","volume-title":"Balloon Types: Controlling Sharing of State in Data Types. In European Conference on Object-Oriented Programming","author":"Almeida P. S.","year":"1997","unstructured":"P. S. Almeida . Balloon Types: Controlling Sharing of State in Data Types. In European Conference on Object-Oriented Programming , June 1997 .]] P. S. Almeida. Balloon Types: Controlling Sharing of State in Data Types. In European Conference on Object-Oriented Programming, June 1997.]]"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503289"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320392"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582440"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781168"},{"key":"e_1_3_2_1_8_1","unstructured":"D. Clarke. Object Ownership & Containment. PhD thesis University of New South Wales July 2001.]]   D. Clarke. Object Ownership & Containment. PhD thesis University of New South Wales July 2001.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/582419.582447"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286947"},{"key":"e_1_3_2_1_11_1","volume-title":"Simple Ownership Types for Object Containment. In European Conference on Object-Oriented Programming","author":"Clarke D. G.","year":"2001","unstructured":"D. G. Clarke , J. M. Potter , and J. Noble . Simple Ownership Types for Object Containment. In European Conference on Object-Oriented Programming , 2001 .]] D. G. Clarke, J. M. Potter, and J. Noble. Simple Ownership Types for Object Containment. In European Conference on Object-Oriented Programming, 2001.]]"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512532"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016867"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503301"},{"key":"e_1_3_2_1_15_1","volume-title":"An Object-Oriented Effects System. In European Conference on Object-Oriented Programming","author":"Greenhouse A.","year":"1999","unstructured":"A. Greenhouse and J. Boyland . An Object-Oriented Effects System. In European Conference on Object-Oriented Programming , June 1999 .]] A. Greenhouse and J. Boyland. An Object-Oriented Effects System. In European Conference on Object-Oriented Programming, June 1999.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/371880.371887"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117975"},{"key":"e_1_3_2_1_18_1","volume-title":"Proofs and Types","author":"Girard Y. L. J-Y","year":"1989","unstructured":"Y. L. J-Y Girard and P. Taylor . Proofs and Types . Cambridge University Press , 1989 .]] Y. L. J-Y Girard and P. Taylor. Proofs and Types. Cambridge University Press, 1989.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/512529.512559"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_21_1","first-page":"187","volume-title":"Workshop on Foundations of Computer Security","author":"Miyamoto K.","year":"2004","unstructured":"K. Miyamoto and A. Igarashi . A modal foundation for secure information flow . In Workshop on Foundations of Computer Security , pages 187 -- 203 , 2004 .]] K. Miyamoto and A. Igarashi. A modal foundation for secure information flow. In Workshop on Foundations of Computer Security, pages 187--203, 2004.]]"},{"key":"e_1_3_2_1_22_1","volume-title":"Flexible Alias Protection. In European Conference on Object-Oriented Programming","author":"Noble J.","year":"1998","unstructured":"J. Noble , J. Vitek , and J. Potter . Flexible Alias Protection. In European Conference on Object-Oriented Programming , 1998 .]] J. Noble, J. Vitek, and J. Potter. Flexible Alias Protection. In European Conference on Object-Oriented Programming, 1998.]]"},{"key":"e_1_3_2_1_23_1","volume-title":"Programming in Scala. Book draft","author":"Odersky M.","year":"2004","unstructured":"M. Odersky . Programming in Scala. Book draft available at http:\/\/scala.epfl.ch\/, 2004 .]] M. Odersky. Programming in Scala. Book draft available at http:\/\/scala.epfl.ch\/, 2004.]]"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964024"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/361598.361623"},{"key":"e_1_3_2_1_26_1","volume-title":"Logic in Computer Science","author":"Reynolds J. C.","year":"2002","unstructured":"J. C. Reynolds . Separation Logic : a Logic for Shared Mutable Data Structures . In Logic in Computer Science , July 2002 .]] J. C. Reynolds. Separation Logic: a Logic for Shared Mutable Data Structures. In Logic in Computer Science, July 2002.]]"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_29_1","volume-title":"Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation","author":"Walker D.","year":"2000","unstructured":"D. Walker and G. Morrisett . Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation , September 2000 .]] D. Walker and G. Morrisett. Alias Types for Recursive Data Structures. In International Workshop on Types in Compilation, September 2000.]]"}],"event":{"name":"PLDI05: ACM SIGPLAN Conference on Programming Language Design and Implementation 2005","location":"Chicago IL USA","acronym":"PLDI05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2005 ACM SIGPLAN conference on Programming language design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1065010.1065023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T10:54:51Z","timestamp":1693824891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1065010.1065023"}},"subtitle":["encapsulating state in higher-order typed languages"],"short-title":[],"issued":{"date-parts":[[2005,6,12]]},"references-count":29,"alternative-id":["10.1145\/1065010.1065023","10.1145\/1065010"],"URL":"https:\/\/doi.org\/10.1145\/1065010.1065023","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1064978.1065023","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,6,12]]},"assertion":[{"value":"2005-06-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}