Nested Hoare Triples and Frame Rules for Higher-Order Store.

Jan Schwinghammer, Lars Birkedal, Bernhard Reus, Hongseok Yang

Browse the full CSL paper archive.