Aleksandar Nanevski, Greg Morrisett, Lars Birkedal. Polymorphism and separation in hoare type theory. 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 62-73, ACM, 2006. [doi]
Abstract is missing.