{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,19]],"date-time":"2026-06-19T18:18:09Z","timestamp":1781893089644,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159839","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"263-273","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Access control in a core calculus of dependency"],"prefix":"10.1145","author":[{"given":"Mart\u00edn","family":"Abadi","sequence":"first","affiliation":[{"name":"University of California, Santa Cruz and Microsoft Research, Silicon Valley"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/788023.789068"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292555"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/155183.155225"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/319709.319718"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2005.9"},{"key":"e_1_3_2_1_6_1","first-page":"2208","volume-title":"The Computer Science and Engineering Handbook","author":"Cardelli Luca","year":"1997","unstructured":"Luca Cardelli . Type systems . In Allen B. Tucker, editor, The Computer Science and Engineering Handbook chapter 103, pages 2208 -- 2236 . CRC Press , Boca Raton, FL , 1997 . Luca Cardelli. Type systems. In Allen B. Tucker, editor, The Computer Science and Engineering Handbook chapter 103, pages 2208--2236. CRC Press, Boca Raton, FL, 1997."},{"key":"e_1_3_2_1_7_1","volume-title":"Mass.","author":"Denning Dorothy E.","year":"1982","unstructured":"Dorothy E. Denning . Cryptography and Data Security Addison-Wesley, Reading , Mass. , 1982 . Dorothy E. Denning. Cryptography and Data Security Addison-Wesley, Reading, Mass., 1982."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/829514.830540"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSFW.2006.18"},{"key":"e_1_3_2_1_10_1","volume-title":"Building a Secure Computer System Van Nostrand Reinhold Company Inc","author":"Gasser Morrie","year":"1988","unstructured":"Morrie Gasser . Building a Secure Computer System Van Nostrand Reinhold Company Inc ., New York , 1988 . Morrie Gasser. Building a Secure Computer System Van Nostrand Reinhold Company Inc., New York, 1988."},{"key":"e_1_3_2_1_11_1","volume-title":"Universit\u00e9 Paris VII","author":"Girard Jean-Yves","year":"1972","unstructured":"Jean-Yves Girard . Interpr\u00e9tation Fonctionnelle et Elimination des Coupures de l'Arithm\u00e9tique d'Ordre Sup\u00e9rieur Th\u00e9sededoctorat d'\u00e9tat , Universit\u00e9 Paris VII , June 1972 . Jean-Yves Girard. Interpr\u00e9tation Fonctionnelle et Elimination des Coupures de l'Arithm\u00e9tique d'Ordre Sup\u00e9rieur Th\u00e9sededoctorat d'\u00e9tat, Universit\u00e9 Paris VII, June 1972."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/130697.130699"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/882495.884431"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/138873.138874"},{"key":"e_1_3_2_1_15_1","unstructured":"Butler W. Lampson. Computer security in the real world. Available from http:\/\/www.research.microsoft.com\/lampson\/.  Butler W. Lampson. Computer security in the real world. Available from http:\/\/www.research.microsoft.com\/lampson\/."},{"key":"e_1_3_2_1_16_1","volume-title":"Private communication","author":"Langworthy David","year":"2006","unstructured":"David Langworthy . Private communication . February 2006 . David Langworthy. Private communication. February 2006."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/605434.605438"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645773.667961"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90052-4"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292561"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351245"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/596980.596983"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016868"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289429"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/363516.363520"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/174613.174614"}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159839","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:55Z","timestamp":1693843435000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159839"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":27,"alternative-id":["10.1145\/1159803.1159839","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159839","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159839","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}