Relational Parametricity and Separation Logic - Birkedal, L; Yang, H (Proceedings of the 10th International Conference on Foundations of Software Science and Computational Structures, 2007)