Recalling a Witness: Foundations and Applications of Monotonic State (bibtex)

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},
}