@misc{indiciae97cb9f819c08,
  title = {Type Safety via Hoare Logic with Separation and Pure Types},
  author = {Wenhua Li and Darius Foo and Quang Trung Ta and Wei-Ngan Chin},
  year = {2026},
  url = {https://arxiv.org/abs/2607.25262},
  note = {Source identifier: 2607.25262}
}