Calling context abstraction with shapes.

Xavier Rival, Bor-Yuh Evan Chang

Browse the full POPL paper archive.