Relational inductive shape analysis.

Bor-Yuh Evan Chang, Xavier Rival

Browse the full POPL paper archive.