Semantics of separation-logic typing and higher-order frame rules | IEEE Conference Publication | IEEE Xplore