%0 Journal Article %1 journals/corr/abs-1812-05067 %A Çiçek, Ezgi %A Qu, Weihao %A Barthe, Gilles %A Gaboardi, Marco %A Garg, Deepak %D 2018 %J CoRR %K dblp %T Bidirectional Type Checking for Relational Properties. %U http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-05067 %V abs/1812.05067

@article{journals/corr/abs-1812-05067, added-at = {2019-01-01T00:00:00.000+0100}, author = {Çiçek, Ezgi and Qu, Weihao and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/264e4c5ac4a58abbbee2dc027e7ff0f8a/dblp}, ee = {http://arxiv.org/abs/1812.05067}, interhash = {b127b1f31ec9514474925df907cc5f74}, intrahash = {64e4c5ac4a58abbbee2dc027e7ff0f8a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T10:16:23.000+0200}, title = {Bidirectional Type Checking for Relational Properties.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-05067}, volume = {abs/1812.05067}, year = 2018 }