TY  - RPRT
TI  - Semantics of Separation-Logic Typing and Higher-order Frame Rules for Algol-like Languages
AU  - Lars Birkedal
AU  - Noah Torp-Smith
AU  - Hongseok Yang
PY  - 2006
DO  - 10.2168/lmcs-2(5:1)2006
UR  - https://arxiv.org/abs/cs/0610081
ID  - cs/0610081
ER  -