Semantics of Separation-Logic Typing and Higher-Order Frame Rules.

Lars Birkedal, Noah Torp-Smith, Hongseok Yang

Browse the full LICS paper archive.