TY  - RPRT
TI  - Type Safety via Hoare Logic with Separation and Pure Types
AU  - Wenhua Li
AU  - Darius Foo
AU  - Quang Trung Ta
AU  - Wei-Ngan Chin
PY  - 2026
UR  - https://arxiv.org/abs/2607.25262
ID  - 2607.25262
ER  -