Relational Parametricity and Separation Logic (Logical Methods in Computer Science, 2008)