TY  - RPRT
TI  - Bidirectional Type Checking for Relational Properties
AU  - Ezgi Çiçek
AU  - Weihao Qu
AU  - Gilles Barthe
AU  - Marco Gaboardi
AU  - Deepak Garg
PY  - 2018
DO  - 10.1145/3314221.3314603
UR  - https://arxiv.org/abs/1812.05067
ID  - 1812.05067
ER  -