Relational parametricity and separation logic (2007)

by L Birkedal, H Yang
Venue:In Proceedings of 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, number 4423 in LNCS