@inproceedings{krebbers-2017-interactive, series={POPL ’17}, title={Interactive proofs in higher-order concurrent separation logic}, url={http://dx.doi.org/10.1145/3009837.3009855}, DOI={10.1145/3009837.3009855}, booktitle={Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages}, publisher={ACM}, author={Krebbers, Robbert and Timany, Amin and Birkedal, Lars}, year={2017}, month=Jan, pages={205–217}, collection={POPL ’17} }