Idempotent Resources in Separation Logic - The Heart of core in Iris.

Daniel Gratzer, Mathias Adam Mller, Lars Birkedal

Browse the full FOSSACS paper archive.