by Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi and Nikhil Swamy
Reference:
Recalling a Witness: Foundations and Applications of Monotonic State (Danel Ahman, Cédric Fournet, Catalin Hritcu, Kenji Maillard, Aseem Rastogi and Nikhil Swamy), In PACMPL, volume 2, 2018.
Bibtex Entry:
@article{preorders,
author = {Danel Ahman and
C\'edric Fournet and
Catalin Hritcu and
Kenji Maillard and
Aseem Rastogi and
Nikhil Swamy},
title = {Recalling a Witness: Foundations and Applications of Monotonic State},
journal = {{PACMPL}},
volume = {2},
number = {{POPL}},
pages = {65:1--65:30},
year = {2018},
month = jan,
url = {https://arxiv.org/abs/1707.02466},
}