@inproceedings{BiToYa05,
  title = "Semantics of Separation-logic Typing and Higher-order Frame Rules",
  author = "Lars Birkedal and Noah Torp-Smith and Hongseok Yang",
  year = "2005",
  address = "Chicago",
  booktitle = "Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science",
  month = "June",
  pages = "260--269",
  publisher = "IEEE",
}