A higher order theory of locality.

Chen Ding, Xiaoya Xiang

Browse the full PLDI paper archive.