Relational Parametricity and Separation Logic by Birkedal, L, Yang, H

Relational Parametricity and Separation Logic by Birkedal, L, Yang, H

Two for the Price of One: Lifting Separation Logic Assertions by Thamsborg, J, Birkedal, L, Yang, H

Semantics of Separation−logic Typing and Higher−order Frame Rules for Algol−like Languages by Birkedal, L, Torp−Smith, N, Yang, H

Semantics of Separation−logic Typing and Higher−order Frame Rules by Birkedal, L, Torp−Smith, N, Yang, H

A Simple Model of Separation Logic for Higher−Order Store by Birkedal, L, Reus, B, Schwinghammer, J, Yang, H

Nested Hoare Triples and Frame Rule for Higher−order Store by Schwinghammer, J, Birkedal, L, Reus, B, Yang, H

Nested Hoare Triples and Frame Rule for Higher−order Store by Schwinghammer, J, Birkedal, L, Reus, B, Yang, H

A Semantic Foundation for Hidden State by Schwinghammer, J, Yang, H, Birkedal, L, Pottier, F, Reus, B

Step-Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H

A Step−Indexed Kripke Model of Hidden State by Schwinghammer, J, Birkedal, L, Pottier, F, Reus, B, Stovring, K, Yang, H

Step−Indexed Kripke Models over Recursive Worlds by Birkedal, L, Reus, B, Schwinghammer, J, Stovring, K, Thamsborg, J, Yang, H