@inproceedings{BY-fossocs07,
  title = "Relational Parametricity and Separation Logic",
  author = "Lars Birkedal and Hongseok Yang",
  year = "2007",
  address = "Braga, Portugal",
  booktitle = "Proceedings of the 10th International Conference on Foundations of Software Science and Computational Structures",
  isbn = "978-3-540-71388-3",
  month = "March",
  pages = "93--107",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "4423",
}