Bidirectional type checking for relational properties.

Ezgi iek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg

Browse the full PLDI paper archive.