Pradeep Kumar. Modal logic & ownership types: uniting three worlds. In Peri L. Tarr, William R. Cook, editors, Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA. pages 778-779, ACM, 2006. [doi]
Abstract is missing.