Relational Parametricity and Separation Logic (Proceedings of the 10th International Conference on Foundations of Software Science and Computational Structures, 2007)

(untitled) - Birkedal, L; Yang, H