Relational Parametricity and Separation Logic.

Lars Birkedal, Hongseok Yang

Browse the full FOSSACS paper archive.