Relational Parametricity and Separation Logic
Lars Birkedal and Hongseok Yang
Journal
Logical Methods in Computer Science
Month
May
Number
2
Volume
4
Year
2008
Lars Birkedal and Hongseok Yang