Alejandro Aguirre, Gilles Barthe, Marco Gaboardi, Deepak Garg, Pierre-Yves Strub
A relational logic for higher-order programs
ICFP, 2017.
@article{ICFP-2017-AguirreBGGS,
author = "Alejandro Aguirre and Gilles Barthe and Marco Gaboardi and Deepak Garg and Pierre-Yves Strub",
doi = "10.1145/3110265",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{A relational logic for higher-order programs}",
volume = 1,
year = 2017,
}