MartÃn Abadi. Access control in a core calculus of dependency. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 263-273, ACM, 2006. [doi]
Abstract is missing.