Semantics of Separation−logic Typing and Higher−order Frame Rules (Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, 2005)

(untitled) - Birkedal, L; Torp−Smith, N; Yang, H