Expressing heap-shape contracts in linear logic.

Frances Perry, Limin Jia, David Walker

Browse the full GPCE paper archive.