Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, Deepak Garg 0001
Bidirectional type checking for relational properties
PLDI, 2019.
@inproceedings{PLDI-2019-CicekQBG0,
author = "Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg 0001",
booktitle = "{Proceedings of the 40th Conference on Programming Language Design and Implementation}",
doi = "10.1145/3314221.3314603",
isbn = "978-1-4503-6712-7",
pages = "533--547",
publisher = "{ACM}",
title = "{Bidirectional type checking for relational properties}",
year = 2019,
}